Case study

DOI10.1145/3365365.3382216MaRDI QIDQ5146397zbMATH OpenOpenAlexFDO

Authors Radoslav Ivanov, Taylor Carpenter, James Weimer, George Pappas, Insup Lee, Rajeev Alur

Publication date 25 January 2021

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1910.11309

zbMATH Keywords

neural network verificationF1/10 racinglearning for control

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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)

Cited in

(7)

• Risk verification of stochastic systems with neural network controllers
• Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
• T4V: exploring neural network architectures that improve the scalability of neural network verification
• Online control for pressure regulation of oxygen mask based on neural network
• Reachability analysis of a general class of neural ordinary differential equations
• Learning safe neural network controllers with barrier certificates
• Verifying Neural Network Controlled Systems Using Neural Networks

This page was built for publication: Case study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5146397)