Popular repositories Loading

1. svea svea Public template

   Starter ROS workspace for working with the [s]mall [ve]hicles for [a]utonomy platform

   Python 14 31

2. CodeRepositoryTCST CodeRepositoryTCST Public

   Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks

   C++ 12 3

3. motion_capture_system motion_capture_system Public

   Forked from KumarRobotics/motion_capture_system

   Drivers for motion capture systems (Vicon and Qualisys, can be extended to compatible with other mocap systems)

   C++ 10 16

4. pyspect pyspect Public

   Python Specification and Control with Temporal Logic Trees

   Python 10 1

5. ltl_automaton_core ltl_automaton_core Public

   Python 7 6

6. level_set_toolchain level_set_toolchain Public

   Starting kit to computing reachable sets using the Level Set Toolbox

   Python 7 1