Formally Explaining Neural Networks within Reactive Systems

31 July 2023

Papers citing "Formally Explaining Neural Networks within Reactive Systems"

9 / 9 papers shown

Title
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 74 6 0 17 Feb 2025
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation Davide Corsi Luca Marzari Ameya Pore Alessandro Farinelli A. Casals Paolo Fiorini Diego DallÁlba 25 9 0 06 Mar 2023
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 86 37 0 26 May 2022
Introduction to Neural Network Verification Aws Albarghouthi AAML 53 85 0 21 Sep 2021
Model Interpretability through the Lens of Computational Complexity Pablo Barceló Mikaël Monet Jorge A. Pérez Bernardo Subercaseaux 114 94 0 23 Oct 2020
Survey of Deep Reinforcement Learning for Motion Planning of Autonomous Vehicles S. Aradi 202 434 0 30 Jan 2020
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks D. Gopinath Guy Katz C. Păsăreanu Clark W. Barrett AAML 42 87 0 02 Oct 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016