TianDaiying's repositories
MITRobotNavigation
This repository is an implement of a paper belongs to MIT which discusses a new method for robot navigating.
Collection
A collection of papers and projects about linear temporal logic
STLabstract
This repository is created for the second paper "Efficient path planning based on the abstract model under the signal temporal logic"
GazeboSimulation
The gazebo simulation with LTL and ACML. Great work finished by Junan Pan
PythonRobotics
Python sample codes for robotics algorithms.
SVMHogConeDetection
An implement of cone detection. The file structure is disorder and I may adjust it when I am free.
ProductFreeLinearTemporalLogic
Now don't need to product all the Buchi automata of multi-agent
AI-Toolbox
A C++ framework for MDPs and POMDPs with Python bindings
DiscreteSignals
A domain specific language for modeling and manipulating discrete time signals.
FlyByLogic
A Tool for multi-drone planning using Signal Temporal Logic Objectives
HuiLongProject
Code for the UGV of HuiLong
LTLPro
A set of prompts. These prompts can help translate neural language into formal LTL task specifications.
Matterport3DSimulator
AI Research Platform for Reinforcement Learning from Real Panoramic Images.
Pattern-Recognition-And-Machine-Learning-
Pattern Recognition And Machine Learning 相关的学习资源
prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
ProbCog
A toolbox for statistical relational learning and reasoning.
py-metric-temporal-logic
Python library for working with Metric Temporal Logic (MTL)
python-monitors
A pure Python package to monitor formal specifications over temporal sequences
STLInspector
Tool for STL specification validation
tulip-control
Temporal Logic Planning toolbox
visual-navigation-agent-pytorch
Target-driven Visual Navigation in Indoor Scenes using Deep Reinforcement Learning implemented in PyTorch
vscode-leetcode
Solve LeetCode problems in VS Code