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 61 5

3. Contingency-MPPI Contingency-MPPI Public

   Implementation of "Contingency Constrained Planning with MPPI within MPPI"

   Python 5

4. ReBAR ReBAR Public

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

   Python 4

5. lab_website lab_website Public

   SCSS

6. HybridKoopman HybridKoopman Public