Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2301.07068
Cited By
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks
17 January 2023
Luca Marzari
Davide Corsi
Ferdinando Cicalese
Alessandro Farinelli
AAML
Re-assign community
ArXiv
PDF
HTML
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
1