ReachNN
From MaRDI portal
Cited in
(28)- Verisig
- GoTube
- nnenum
- NNVODE
- Sherlock
- Kodiak
- Kaa
- FACTEST
- PENBMI
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
- Risk verification of stochastic systems with neural network controllers
- Reachability analysis of a general class of neural ordinary differential equations
- Pyhybridanalysis
- Flow*
- Sapo
- CORA
- JuliaReach
- Reluplex
- Marabou
- NNV
- nncontroller
- AI2
- Scenic
- Veritex
- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
- Robustness verification of semantic segmentation neural networks using relaxed reachability
- An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation
This page was built for software: ReachNN
