Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis-Reference-Cited by-同舟云学术

Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis

Published:2023-05-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Ladner Tobias¹^ORCID,Althoff Matthias²^ORCID

Affiliation:

1. School of Computation, Information and Technology, Technical University of Munich, Germany and Munich Center of Machine Learning (MCML), Germany

2. School of Computation, Information and Technology, Technical University of Munich, Germany

Funder

Deutsche Forschungsgemeinschaft

Munich Center of Machine Learning (MCML)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3575870.3587129

Reference47 articles.

1. Matthias Althoff. 2010. Reachability analysis and its application to the safety assessment of autonomous cars. Ph. D. Dissertation. Technische Universität München. Matthias Althoff. 2010. Reachability analysis and its application to the safety assessment of autonomous cars. Ph. D. Dissertation. Technische Universität München.

2. Matthias Althoff . 2015 . An introduction to CORA 2015 . In Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems. 120–151 . Matthias Althoff. 2015. An introduction to CORA 2015. In Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems. 120–151.

3. Stanley Bak , Changliu Liu , and Taylor T. Johnson . 2021. The second international verification of neural networks competition (VNN-COMP 2021): Summary and results. arXiv preprint arXiv:2109.00498 ( 2021 ). Stanley Bak, Changliu Liu, and Taylor T. Johnson. 2021. The second international verification of neural networks competition (VNN-COMP 2021): Summary and results. arXiv preprint arXiv:2109.00498 (2021).

4. Osbert Bastani , Yani Ioannou , Leonidas Lampropoulos , Dimitrios Vytiniotis , Aditya Nori , and Antonio Criminisi . 2016. Measuring neural net robustness with constraints. Advances in Neural Information Processing Systems 29 ( 2016 ). Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya Nori, and Antonio Criminisi. 2016. Measuring neural net robustness with constraints. Advances in Neural Information Processing Systems 29 (2016).

5. Quadrotor dynamics and control;Beard W.;Brigham Young University,2008