Northeastern Autonomy & Intelligence Laboratory

icon indicating a website link https://neu-autonomy.github.io/lab_website

Results 1 repositories owned by Northeastern Autonomy & Intelligence Laboratory
trafficstars

nfl_veripy

72
Stars
16
Forks
Watchers

Formal Verification of Neural Feedback Loops (NFLs)

verified publisher icon neu-autonomy