Verifying Neural Network Controlled Systems Using Neural Networks
DOI10.1145/3501710.3519511OpenAlexW4225401163MaRDI QIDQ6120690
No author found.
Publication date: 21 February 2024
Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3501710.3519511
neural networksmixed integer programmingsafety verificationbarrier certificatesneural-network-controlled systems
Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model predictive control: Theory and practice - a survey
- Multilayer feedforward networks are universal approximators
- Automated and formal synthesis of neural barrier certificates for dynamical models
- Reluplex: an efficient SMT solver for verifying deep neural networks
- Constructing invariants for hybrid systems
- A Method for Invariant Generation for Polynomial Continuous Systems
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
- Automatic invariant generation for hybrid systems using ideal fixed points
- dReal: An SMT Solver for Nonlinear Theories over the Reals
- Synthesizing barrier certificates using neural networks
- Case study
- Formal verification of neural network controlled autonomous systems
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
- Hybrid Systems: Computation and Control
- Approximation by superpositions of a sigmoidal function
- Learning safe neural network controllers with barrier certificates
This page was built for publication: Verifying Neural Network Controlled Systems Using Neural Networks
