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"

13 / 13 papers shown

Title
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 78 1 0 27 May 2024
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation Luca Marzari Enrico Marchesini Alessandro Farinelli OffRL 45 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 106 37 0 26 May 2022
Curriculum Learning for Safe Mapless Navigation Luca Marzari Davide Corsi Enrico Marchesini Alessandro Farinelli 51 15 0 23 Dec 2021
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation Enrico Marchesini Davide Corsi Alessandro Farinelli 53 19 0 16 Dec 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho-Jui Hsieh Zico Kolter 109 198 0 11 Mar 2021
Justicia: A Stochastic SAT Approach to Formally Verify Fairness Bishwamittra Ghosh D. Basu Kuldeep S. Meel 151 39 0 14 Sep 2020
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 54 105 0 25 Jun 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 88 400 0 15 Mar 2019
Efficient Formal Safety Analysis of Neural Networks Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 65 404 0 19 Sep 2018
An approach to reachability analysis for feed-forward ReLU neural networks A. Lomuscio Lalit Maganti 63 359 0 22 Jun 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 315 1,867 0 03 Feb 2017
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 268 14,912 1 21 Dec 2013