MengGuo

Task and Motion Planning for Robots

Peking UniversityBeijing, China

Pinned Repositories

ac_ltl_wsn
Actor critic reinforcement learning + motion and task planning under LTL tasks + wireless sensor network routing
Language:OpenEdge ABL11 3 06
Jackal_Velodyne_Duke
Experiences with Jackal robot (equipped with Velodyne LiDAR) at Duke University
Language:Python10 4 08
mix_initiative
Human-in-the loop mix initiative control under temporal tasks
Language:OpenEdge ABL2 3 15
or-tools
Google's Operations Research tools
Language:C++1 3 01
P_MAS_TG
Planner for Multiple Agent System with Temporal Goals
Language:C25 3 216
P_MDP_TG
Planner for Markov Decision Processes with Temporal Goals
Language:Python18 3 43
PRISM_interface
Generate input files automatically for model checker PRISM
Language:OpenEdge ABL2 3 01
Py_iRobot_OptiTrack
ROS packages for controlling MDP under LTL temporal tasks
Language:Python6 5 16
RVO_Py_MAS
Python Implementation of Reciprocal Velocity Obstacle for Multi-agent Systems
Language:Python148 5 540
tiago_ltl_flexbe
Integration of TIAGo simulation environment with LTL motion planner and FlexBE real-time execution framework
Language:Python3 3 01

MengGuo's Repositories

MengGuo/RVO_Py_MAS
Python Implementation of Reciprocal Velocity Obstacle for Multi-agent Systems
Language:Python148 5 540
MengGuo/P_MAS_TG
Planner for Multiple Agent System with Temporal Goals
Language:C25 3 216
MengGuo/P_MDP_TG
Planner for Markov Decision Processes with Temporal Goals
Language:Python18 3 43
MengGuo/ac_ltl_wsn
Actor critic reinforcement learning + motion and task planning under LTL tasks + wireless sensor network routing
Language:OpenEdge ABL11 3 06
MengGuo/Jackal_Velodyne_Duke
Experiences with Jackal robot (equipped with Velodyne LiDAR) at Duke University
Language:Python10 4 08
MengGuo/Py_iRobot_OptiTrack
ROS packages for controlling MDP under LTL temporal tasks
Language:Python6 5 16
MengGuo/tiago_ltl_flexbe
Integration of TIAGo simulation environment with LTL motion planner and FlexBE real-time execution framework
Language:Python3 3 01
MengGuo/mix_initiative
Human-in-the loop mix initiative control under temporal tasks
Language:OpenEdge ABL2 3 15
MengGuo/PRISM_interface
Generate input files automatically for model checker PRISM
Language:OpenEdge ABL2 3 01
MengGuo/or-tools
Google's Operations Research tools
Language:C++1 3 01
MengGuo/personal_site
personal website
Language:HTML1 3 01
MengGuo/Planner_LTL_ROS
ROS package for controlling FTS under LTL temporal tasks
Language:Python12
MengGuo/tikz_templates
Tizk templates for fancy latex figures
Language:TeX1 3 01
MengGuo/bin_ltl2gba2dstar
Binary executable for LTL2GBA and LTL2dstar
3 0
MengGuo/dfp
Reinforcement Learning with Goals
Language:Jupyter Notebook3 0
MengGuo/dpcluster
Efficient Dirichlet process clustering
Language:Python3 0
MengGuo/el2450_hybrid_embedded_control
EL2450 Homework, Lecture slides and Old Exam Papers
Language:C++1 0
MengGuo/grits-ros-pkg-1
GRITSlab ROS repository
Language:C++3 0
MengGuo/hrl
Healthcare Robotics Lab general workspace
Language:Python4 0
MengGuo/interm_data_gather
Multi-Robot Data Gathering Under Buffer Constraints and Intermittent Communication
Language:Python1
MengGuo/KTH_EL2450_Exercise_notes
Personal notes for the exercises taught for course EL2450 at KTH
1
MengGuo/ltl2dstar
Fork of LTL to deterministic Streett and Rabin automata by Joachim Klein at http://www.ltl2dstar.de/
Language:C++
MengGuo/LTL2GBA
Fork of Oddoux and Gastin's ltl2ba (http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/)
Language:C
MengGuo/omni_fault
Language:Python3 0
MengGuo/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
Language:Python
MengGuo/quaternion
Add built-in support for quaternions to numpy
Language:Python1 0
MengGuo/Roadmap_Poly2tri
Construct roadmap from triangulation of polygon workspace
Language:C++3 1
MengGuo/safe_mdp_ltl
Language:Python