Popular repositories Loading

1. nfl_veripy nfl_veripy Public

   Formal Verification of Neural Feedback Loops (NFLs)

   Python 82 16

2. FeatureLIOM FeatureLIOM Public

   Official Implementation of Feature Extractor for DFLIOM

   Python 71 7

3. Contingency-MPPI Contingency-MPPI Public

   Implementation of "Contingency Constrained Planning with MPPI within MPPI"

   Python 9 3

4. ReBAR ReBAR Public

   Implementation for paper "Collision Avoidance Verification of Multi-agent Systems with Learned Policies".

   Python 4

5. SPARTA SPARTA Public

   Official Repository for CoRL 2025 paper: "Learning Smooth State-Dependent Traversability from Dense Point Clouds".

   Python 3

6. lab_website lab_website Public

   SCSS 1