Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey
- 18 November 2024
- book chapter
- Published by Springer Nature
- p. 89-108
Abstract
No abstract availableKeywords
This publication has 71 references indexed in Scilit:
- Case Study: Analysis of Autonomous Center Line Tracking Neural Networks2022
- Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance2021
- Parallel and Multi-objective Falsification with Scenic and VerifAI2021
- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning2021
- ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems2020
- NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems2020
- Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI2020
- A survey of deep learning techniques for autonomous drivingJournal of Field Robotics, 2019
- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems2019
- Model Checking of Hybrid Systems: From Reachability Towards Stability2006