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

F1/10 racinglearning for controlneural network verification

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

(11)

• Risk verification of stochastic systems with neural network controllers
• Reachability analysis of a general class of neural ordinary differential equations
• Learning safe neural network controllers with barrier certificates
• T4V: exploring neural network architectures that improve the scalability of neural network verification
• Verifying Neural Network Controlled Systems Using Neural Networks
• Online control for pressure regulation of oxygen mask based on neural network
• Quantitative verification of learning-enabled systems using ProbStar reachability
• \textsc{Soteria}: a formal digital-twin-enabled framework for safety-assurance of latency-aware cyber-physical systems
• ProbStar temporal logic for verifying complex behaviors of learning-enabled systems
• Chance-constrained neural MPC under uncontrollable agents via sequential convex programming
• Verisig 2.0: verification of neural network controllers using Taylor model preconditioning

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)