-
-
-
P_MDP_TG Public
Planner for Markov Decision Processes with Temporal Goals
-
-
quaternion Public
Forked from moble/quaternionAdd built-in support for quaternions to numpy
Python MIT License UpdatedApr 5, 2021 -
PRISM_interface Public
Generate input files automatically for model checker PRISM
-
Roadmap_Poly2tri Public
Construct roadmap from triangulation of polygon workspace
C++ GNU General Public License v2.0 UpdatedMar 6, 2021 -
Planner_LTL_ROS Public
ROS package for controlling FTS under LTL temporal tasks
-
mix_initiative Public
Human-in-the loop mix initiative control under temporal tasks
-
interm_data_gather Public
Multi-Robot Data Gathering Under Buffer Constraints and Intermittent Communication
-
Py_iRobot_OptiTrack Public
ROS packages for controlling MDP under LTL temporal tasks
-
Jackal_Velodyne_Duke Public
Experiences with Jackal robot (equipped with Velodyne LiDAR) at Duke University
-
P_MAS_TG Public
Planner for Multiple Agent System with Temporal Goals
-
RVO_Py_MAS Public
Python Implementation of Reciprocal Velocity Obstacle for Multi-agent Systems
-
ac_ltl_wsn Public
Actor critic reinforcement learning + motion and task planning under LTL tasks + wireless sensor network routing
-
KTH_EL2450_Exercise_notes Public
Personal notes for the exercises taught for course EL2450 at KTH
-
tikz_templates Public
Tizk templates for fancy latex figures
-
el2450_hybrid_embedded_control Public
Forked from dev015/EL2450_Hybrid_Embedded_ControlEL2450 Homework, Lecture slides and Old Exam Papers
C++ UpdatedMar 5, 2020 -
or-tools Public
Forked from google/or-toolsGoogle's Operations Research tools
-
dfp Public
Forked from awjuliani/dfpReinforcement Learning with Goals
Jupyter Notebook UpdatedAug 30, 2018 -
pytorch Public
Forked from pytorch/pytorchTensors and Dynamic neural networks in Python with strong GPU acceleration
Python Other UpdatedSep 10, 2017 -
tiago_ltl_flexbe Public
Integration of TIAGo simulation environment with LTL motion planner and FlexBE real-time execution framework
-
-
ltl2dstar Public
Fork of LTL to deterministic Streett and Rabin automata by Joachim Klein at http://www.ltl2dstar.de/
C++ GNU General Public License v2.0 UpdatedJun 30, 2017 -
-
hrl Public
Forked from gt-ros-pkg/hrlHealthcare Robotics Lab general workspace
Python Other UpdatedJul 21, 2016 -
grits-ros-pkg-1 Public
Forked from gritslab/grits-ros-pkgGRITSlab ROS repository
C++ Other UpdatedJun 10, 2015 -
LTL2GBA Public
Forked from slivingston/LTL2GBAFork of Oddoux and Gastin's ltl2ba (http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/)
C Other UpdatedSep 4, 2013 -
dpcluster Public
Forked from teodor-moldovan/dpclusterEfficient Dirichlet process clustering
Python UpdatedJun 22, 2013
{{ message }}