Popular repositories Loading

1. nfl_veripy nfl_veripy Public

   Formal Verification of Neural Feedback Loops (NFLs)

   Python 80 15

2. FeatureLIOM FeatureLIOM Public

   Official Implementation of Feature Extractor for DFLIOM

   Python 65 5

3. Contingency-MPPI Contingency-MPPI Public

   Implementation of "Contingency Constrained Planning with MPPI within MPPI"

   Python 5 1

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".

   2

6. lab_website lab_website Public

   SCSS