Verification of machine learning based cyber-physical systems: a comparative study

DOI10.1145/3501710.3519540OpenAlexW4225381286MaRDI QIDQ6120721

Unnamed Author, Claire Pagetti, Unnamed Author, Christophe Garion, Unnamed Author

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.3519540

zbMATH Keywords

neural networkssafetyformal methods

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)

Cites Work

• Unnamed Item
• The algorithmic analysis of hybrid systems
• Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Simulation-equivalent reachability of large linear systems with inputs
• Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation
• Falsification of hybrid systems using symbolic reachability and trajectory splicing
• Reachability analysis for neural feedback systems using regressive polynomial rule inference
• Verisig