Search Results - RepositoryStats

53

226

other

14

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)

robustness neural-networks formal-verification adversarial-examples adversarial-robustness robustness-verification neural-network-verification

Created 2021-06-29

37 commits to main branch, last one 2 months ago

48

110

unknown

7

Neural Network Verification Software Tool

safe-ai autonomy reachability verification safe-autonomy cyber-physical formal-methods hybrid-systems neural-network trustworthy-ai assured-autonomy formal-verification reachability-analysis cyber-physical-systems robustness-verification neural-network-verification neural-network-certification trustworthy-machine-learning

Created 2018-08-20

1,813 commits to master branch, last one 3 days ago

12

54

mit

5

Lyapunov-stable Neural Control for State and Output Feedback

neural-control neural-networks lyapunov-stability formal-verification neural-lyapunov-function neural-network-verification

Created 2024-04-09

6 commits to main branch, last one 2 months ago