Provably Probabilistic Safe Controller Synthesis for Vision-Based Neural Network Control Systems
Open Access
- 26 July 2026
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 1-7
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- NNV 2.0: The Neural Network Verification Tool2023
- Attacking vision-based perception in end-to-end autonomous driving modelsJournal of Systems Architecture, 2020
- Image-to-Image Translation with Conditional Adversarial Networks2017
- Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions2015
- Probabilistic Program Analysis with Martingales2013
- Safety Verification of Hybrid Systems Using Barrier Certificates2004
- Stochastic safety verification using barrier certificates2004
- An introduction to the use of neural networks in control systemsInternational Journal of Robust and Nonlinear Control, 2002
- Robot calibration using a 3D vision-based measurement system with a single cameraRobotics and Computer-Integrated Manufacturing, 2001
- Probability Inequalities for Sums of Bounded Random VariablesJournal of the American Statistical Association, 1963