MengGuo's repositories
RVO_Py_MAS
Python Implementation of Reciprocal Velocity Obstacle for Multi-agent Systems
ac_ltl_wsn
Actor critic reinforcement learning + motion and task planning under LTL tasks + wireless sensor network routing
Jackal_Velodyne_Duke
Experiences with Jackal robot (equipped with Velodyne LiDAR) at Duke University
Py_iRobot_OptiTrack
ROS packages for controlling MDP under LTL temporal tasks
tiago_ltl_flexbe
Integration of TIAGo simulation environment with LTL motion planner and FlexBE real-time execution framework
mix_initiative
Human-in-the loop mix initiative control under temporal tasks
PRISM_interface
Generate input files automatically for model checker PRISM
personal_site
personal website
Planner_LTL_ROS
ROS package for controlling FTS under LTL temporal tasks
tikz_templates
Tizk templates for fancy latex figures
bin_ltl2gba2dstar
Binary executable for LTL2GBA and LTL2dstar
dpcluster
Efficient Dirichlet process clustering
el2450_hybrid_embedded_control
EL2450 Homework, Lecture slides and Old Exam Papers
grits-ros-pkg-1
GRITSlab ROS repository
interm_data_gather
Multi-Robot Data Gathering Under Buffer Constraints and Intermittent Communication
KTH_EL2450_Exercise_notes
Personal notes for the exercises taught for course EL2450 at KTH
ltl2dstar
Fork of LTL to deterministic Streett and Rabin automata by Joachim Klein at http://www.ltl2dstar.de/
LTL2GBA
Fork of Oddoux and Gastin's ltl2ba (http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/)
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
quaternion
Add built-in support for quaternions to numpy
Roadmap_Poly2tri
Construct roadmap from triangulation of polygon workspace