mengguo Goto Github PK

ac_ltl_wsn

Actor critic reinforcement learning + motion and task planning under LTL tasks + wireless sensor network routing

bin_ltl2gba2dstar

Binary executable for LTL2GBA and LTL2dstar

dfp

Reinforcement Learning with Goals

dpcluster

Efficient Dirichlet process clustering

el2450_hybrid_embedded_control

EL2450 Homework, Lecture slides and Old Exam Papers

grits-ros-pkg-1

GRITSlab ROS repository

hrl

Healthcare Robotics Lab general workspace

interm_data_gather

Multi-Robot Data Gathering Under Buffer Constraints and Intermittent Communication

jackal_velodyne_duke

Experiences with Jackal robot (equipped with Velodyne LiDAR) at Duke University

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/)

mix_initiative

Human-in-the loop mix initiative control under temporal tasks

omni_fault

or-tools

Google's Operations Research tools

p_mas_tg

Planner for Multiple Agent System with Temporal Goals

p_mdp_tg

Planner for Markov Decision Processes with Temporal Goals

personal_site

personal website

planner_ltl_ros

ROS package for controlling FTS under LTL temporal tasks

prism_interface

Generate input files automatically for model checker PRISM

py_irobot_optitrack

ROS packages for controlling MDP under LTL temporal tasks

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

rvo_py_mas

Python Implementation of Reciprocal Velocity Obstacle for Multi-agent Systems

safe_mdp_ltl

tiago_ltl_flexbe

Integration of TIAGo simulation environment with LTL motion planner and FlexBE real-time execution framework

tikz_templates

Tizk templates for fancy latex figures