ReachNN
From MaRDI portal
Software:1351987
No author found.
Source code repository: https://github.com/JmfanBU/ReachNNStar
Related Items (7)
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 ⋮ 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
This page was built for software: ReachNN
