Popular repositories Loading

1. corridor_mpc corridor_mpc Public

   Towards safe and optimal trajectory tracking control.

   Python 23 9

2. ros_ltl2ba ros_ltl2ba Public

   A ROS package wrapping for the LTL2BA software by Dennis Oddoux and Paul Gastin

   C 2

3. Predictive-CBF-Synthesis-Toolbox Predictive-CBF-Synthesis-Toolbox Public

   Toolbox for the predictive synthesis of CBFs including examples.

   Python 2

4. ltl_automaton_core ltl_automaton_core Public

   Forked from KTH-SML/ltl_automaton_core

   Python 1

5. ltl_automaton_6dof_hebi_arm ltl_automaton_6dof_hebi_arm Public

   Forked from KTH-SML/ltl_automaton_6dof_hebi_arm

   Provides integration of the 6-DoF Hebi manipulator with LTL automaton package

   Python 1

6. epic epic Public

   Epipolar Coordination package for multi-agent vision-based formation control tasks.

   Python 1