Pinned Repositories
awesome
:sunglasses: Curated list of awesome lists
awesome-rl
Reinforcement learning resources curated
coding-interview-university
A complete computer science study plan to become a software engineer.
Collection
A collection of papers and projects about linear temporal logic
JD_Operations_Research
MITRobotNavigation
This repository is an implement of a paper belongs to MIT which discusses a new method for robot navigating.
ProductFreeLinearTemporalLogic
Now don't need to product all the Buchi automata of multi-agent
Saliencyfilters
#The segmentation of foreground and background of images
STLabstract
This repository is created for the second paper "Efficient path planning based on the abstract model under the signal temporal logic"
SVMHogConeDetection
An implement of cone detection. The file structure is disorder and I may adjust it when I am free.
bittdy's Repositories
bittdy/MITRobotNavigation
This repository is an implement of a paper belongs to MIT which discusses a new method for robot navigating.
bittdy/Collection
A collection of papers and projects about linear temporal logic
bittdy/STLabstract
This repository is created for the second paper "Efficient path planning based on the abstract model under the signal temporal logic"
bittdy/GazeboSimulation
The gazebo simulation with LTL and ACML. Great work finished by Junan Pan
bittdy/PythonRobotics
Python sample codes for robotics algorithms.
bittdy/RoboRTS
An open source software stack for Real-Time Strategy research on mobile robots
bittdy/SVMHogConeDetection
An implement of cone detection. The file structure is disorder and I may adjust it when I am free.
bittdy/ProductFreeLinearTemporalLogic
Now don't need to product all the Buchi automata of multi-agent
bittdy/18330
18.330 Intro to Numerical Analysis
bittdy/AI-Toolbox
A C++ framework for MDPs and POMDPs with Python bindings
bittdy/ai2thor
An open-source platform for Visual AI.
bittdy/alexa-arena
bittdy/DiscreteSignals
A domain specific language for modeling and manipulating discrete time signals.
bittdy/FlyByLogic
A Tool for multi-drone planning using Signal Temporal Logic Objectives
bittdy/HuiLongProject
Code for the UGV of HuiLong
bittdy/InferPy
InferPy: Deep Probabilistic Modeling with Tensorflow Made Easy
bittdy/LTLPro
A set of prompts. These prompts can help translate neural language into formal LTL task specifications.
bittdy/Matterport3DSimulator
AI Research Platform for Reinforcement Learning from Real Panoramic Images.
bittdy/mindsdb
Framework to streamline use of neural networks
bittdy/Pattern-Recognition-And-Machine-Learning-
Pattern Recognition And Machine Learning 相关的学习资源
bittdy/POMDPs.jl
MDPs and POMDPs in Julia - An interface for defining, solving, and simulating fully and partially observable Markov decision processes on discrete and continuous spaces.
bittdy/POMDPy
POMDPs in Python.
bittdy/prism-games
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
bittdy/ProbCog
A toolbox for statistical relational learning and reasoning.
bittdy/py-metric-temporal-logic
Python library for working with Metric Temporal Logic (MTL)
bittdy/python-monitors
A pure Python package to monitor formal specifications over temporal sequences
bittdy/STLInspector
Tool for STL specification validation
bittdy/tulip-control
Temporal Logic Planning toolbox
bittdy/visual-navigation-agent-pytorch
Target-driven Visual Navigation in Indoor Scenes using Deep Reinforcement Learning implemented in PyTorch
bittdy/vscode-leetcode
Solve LeetCode problems in VS Code