Search Results - RepositoryStats

59

235

other

14

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

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 3 months ago

49

112

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,821 commits to master branch, last one 28 days ago

14

57

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 3 months ago