ReachNN

swMATH42707MaRDI QIDQ1351987FDOQ1351987

Author name not available (Why is that?)

Source code repository: https://github.com/JmfanBU/ReachNNStar

Cited In (7)

• 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
• 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