Popular repositories Loading

1. SpaTiaL SpaTiaL Public

   SpaTiaL is a framework to specify spatial and temporal relations between objects.

   Python 12 1

2. foresee-the-unseen foresee-the-unseen Public

   Jupyter Notebook 10 5

3. STL-RT-RRTstar STL-RT-RRTstar Public

   Python 9

4. sample_based_bcbf sample_based_bcbf Public

   [CDC 25] "Risk-Aware Robot Control in Dynamic Environments using Belief Control Barrier Functions"

   Python 9 2

5. stl_smooth_reformulation stl_smooth_reformulation Public

   [ECC26] "Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications"

   Python 8

6. DD2415_labs DD2415_labs Public

   Lab files for the course DD2415 - Safe robot planning and control

   Jupyter Notebook 2 4