Giters
Northeastern Autonomy & Intelligence Laboratory (neu-autonomy)

Northeastern Autonomy & Intelligence Laboratory

neu-autonomy

Geek Repo

Home Page:https://neu-autonomy.github.io/lab_website

Github PK Tool:Github PK Tool

Northeastern Autonomy & Intelligence Laboratory's repositories

nfl_veripy

Formal Verification of Neural Feedback Loops (NFLs)

Language:PythonLicense:MITStargazers:73Issues:6Issues:1

lab_website

Language:SCSSStargazers:0Issues:0Issues:0

ReBAR

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

Language:PythonLicense:MITStargazers:0Issues:1Issues:0