TianDaiying (bittdy)

bittdy

Geek Repo

Company:Beijing-IT

Github PK Tool:Github PK Tool

TianDaiying's repositories

MITRobotNavigation

This repository is an implement of a paper belongs to MIT which discusses a new method for robot navigating.

Language:MATLABStargazers:5Issues:2Issues:0

STLabstract

This repository is created for the second paper "Efficient path planning based on the abstract model under the signal temporal logic"

Language:PythonStargazers:2Issues:2Issues:0

Collection

A collection of papers and projects about linear temporal logic

GazeboSimulation

The gazebo simulation with LTL and ACML. Great work finished by Junan Pan

PythonRobotics

Python sample codes for robotics algorithms.

Language:Jupyter NotebookLicense:MITStargazers:1Issues:1Issues:0

RoboRTS

An open source software stack for Real-Time Strategy research on mobile robots

Language:C++License:NOASSERTIONStargazers:1Issues:1Issues:0

SVMHogConeDetection

An implement of cone detection. The file structure is disorder and I may adjust it when I am free.

Language:C++Stargazers:1Issues:2Issues:0

ProductFreeLinearTemporalLogic

Now don't need to product all the Buchi automata of multi-agent

Language:PythonStargazers:0Issues:3Issues:0

18330

18.330 Intro to Numerical Analysis

Language:Jupyter NotebookStargazers:0Issues:1Issues:0

AI-Toolbox

A C++ framework for MDPs and POMDPs with Python bindings

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0

ai2thor

An open-source platform for Visual AI.

Language:C#License:Apache-2.0Stargazers:0Issues:1Issues:0
License:LGPL-2.1Stargazers:0Issues:0Issues:0

DiscreteSignals

A domain specific language for modeling and manipulating discrete time signals.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

FlyByLogic

A Tool for multi-drone planning using Signal Temporal Logic Objectives

Language:MATLABStargazers:0Issues:1Issues:0

HuiLongProject

Code for the UGV of HuiLong

Language:CStargazers:0Issues:2Issues:0

InferPy

InferPy: Deep Probabilistic Modeling with Tensorflow Made Easy

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:0Issues:1Issues:0

LTLPro

A set of prompts. These prompts can help translate neural language into formal LTL task specifications.

Stargazers:0Issues:0Issues:0

Matterport3DSimulator

AI Research Platform for Reinforcement Learning from Real Panoramic Images.

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

mindsdb

Framework to streamline use of neural networks

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

Pattern-Recognition-And-Machine-Learning-

Pattern Recognition And Machine Learning 相关的学习资源

Stargazers:0Issues:1Issues:0

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.

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

POMDPy

POMDPs in Python.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

prism-games

The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.

Language:JavaLicense:GPL-2.0Stargazers:0Issues:1Issues:0

ProbCog

A toolbox for statistical relational learning and reasoning.

License:GPL-3.0Stargazers:0Issues:0Issues:0

py-metric-temporal-logic

Python library for working with Metric Temporal Logic (MTL)

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

python-monitors

A pure Python package to monitor formal specifications over temporal sequences

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0

STLInspector

Tool for STL specification validation

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

tulip-control

Temporal Logic Planning toolbox

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

visual-navigation-agent-pytorch

Target-driven Visual Navigation in Indoor Scenes using Deep Reinforcement Learning implemented in PyTorch

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

vscode-leetcode

Solve LeetCode problems in VS Code

Language:TypeScriptLicense:MITStargazers:0Issues:2Issues:0