The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural
Networks

The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks

17 January 2023

Ferdinando Cicalese

Alessandro Farinelli

Papers citing "The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks"

15 / 15 papers shown

Title
Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation Luca Marzari Francesco Trotti Enrico Marchesini Alessandro Farinelli 43 0 0 30 Apr 2025
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation Guy Amir Shahaf Bassan Guy Katz 42 2 0 07 Aug 2024
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks Tianhao Wei Luca Marzari Kai S. Yun Hanjiang Hu Peizhi Niu Xusheng Luo Changliu Liu 18 0 0 30 Jun 2024
Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning Davide Corsi Davide Camponogara Alessandro Farinelli OffRL 33 1 0 30 May 2024
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 34 0 0 27 May 2024
Analyzing Adversarial Inputs in Deep Reinforcement Learning Davide Corsi Guy Amir Guy Katz Alessandro Farinelli AAML 26 7 0 07 Feb 2024
Even-if Explanations: Formal Foundations, Priorities and Complexity Gianvincenzo Alfano S. Greco Domenico Mandaglio Francesco Parisi Reza Shahbazian I. Trubitsyna 26 2 0 17 Jan 2024
Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing Luca Marzari Gabriele Roncolato Alessandro Farinelli 15 1 0 10 Dec 2023
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees Luca Marzari Davide Corsi Enrico Marchesini Alessandro Farinelli Ferdinando Cicalese AAML 13 10 0 18 Aug 2023
Formally Explaining Neural Networks within Reactive Systems Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz AAML 17 15 0 31 Jul 2023
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 20 8 0 06 Mar 2023
Safe Deep Reinforcement Learning by Verifying Task-Level Properties Enrico Marchesini Luca Marzari Alessandro Farinelli Chris Amato OffRL 11 13 0 20 Feb 2023
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation Luca Marzari Enrico Marchesini Alessandro Farinelli OffRL 19 12 0 13 Feb 2023
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 82 36 0 26 May 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017