Case study
From MaRDI portal
Publication:5146397
DOI10.1145/3365365.3382216OpenAlexW3021958118MaRDI QIDQ5146397
George J. Pappas, Taylor Carpenter, Radoslav Ivanov, James Weimer, 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
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)
Related Items (6)
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 ⋮ Verifying Neural Network Controlled Systems Using Neural Networks ⋮ Learning safe neural network controllers with barrier certificates ⋮ 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 publication: Case study