RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
From MaRDI portal
Publication:6487328
Recommendations
- Forward inner-approximated reachability of non-linear continuous systems
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
- Inner approximated reachability analysis
- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
- Learning safe neural network controllers with barrier certificates
Cites work
- scientific article; zbMATH DE number 6020480 (Why is no real title available?)
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Comparing Forward and Backward Reachability as Tools for Safety Analysis
- FILIB++, a fast interval library supporting containment computations
- Inner and outer approximating flowpipes for delay differential equations
- Inner and outer reachability for the verification of control systems
- Reachability analysis for neural feedback systems using regressive polynomial rule inference
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- Stabilizing low complexity feedback control of constrained piecewise affine systems
- Verisig
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
Cited in
(2)
This page was built for publication: RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487328)
