swMATH42707MaRDI QIDQ1351987FDOQ1351987
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1906.10654
Source code repository: https://github.com/JmfanBU/ReachNNStar
Cited In (28)
- Scenic
- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
- An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation
- Robustness verification of semantic segmentation neural networks using relaxed reachability
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
- Sherlock
- Kodiak
- PENBMI
- Pyhybridanalysis
- Flow*
- Sapo
- CORA
- JuliaReach
- Marabou
- Reluplex
- NNV
- nncontroller
- AI2
- GoTube
- nnenum
- NNVODE
- Verisig
- Kaa
- FACTEST
- Veritex
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
- Reachability analysis of a general class of neural ordinary differential equations
- Risk verification of stochastic systems with neural network controllers
This page was built for software: ReachNN
