Skip to content
@neu-autonomy

Northeastern Autonomy & Intelligence Laboratory

Popular repositories Loading

  1. nfl_veripy nfl_veripy Public

    Formal Verification of Neural Feedback Loops (NFLs)

    Python 75 16

  2. FeatureLIOM FeatureLIOM Public

    7

  3. lab_website lab_website Public

    SCSS

  4. ReBAR ReBAR Public

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

    Python

Repositories

Showing 4 of 4 repositories
  • lab_website Public
    neu-autonomy/lab_website’s past year of commit activity
    SCSS 0 0 0 0 Updated Oct 8, 2024
  • FeatureLIOM Public
    neu-autonomy/FeatureLIOM’s past year of commit activity
    7 MIT 0 0 0 Updated Sep 17, 2024
  • ReBAR Public

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

    neu-autonomy/ReBAR’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Sep 17, 2024
  • nfl_veripy Public

    Formal Verification of Neural Feedback Loops (NFLs)

    neu-autonomy/nfl_veripy’s past year of commit activity
    Python 75 MIT 16 0 1 Updated Sep 12, 2024

Top languages

Loading…

Most used topics

Loading…