GitHub repository: neu-autonomy/nfl_veripy
Primary language: Python
Description: Formal Verification of Neural Feedback Loops (NFLs)