ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2301.07068
  4. Cited By
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
Luca Marzari
Davide Corsi
Ferdinando Cicalese
Alessandro Farinelli
    AAML
ArXivPDFHTML

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
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
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
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
Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning
Davide Corsi
Davide Camponogara
Alessandro Farinelli
OffRL
30
1
0
30 May 2024
Probabilistic Verification of Neural Networks using Branch and Bound
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
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
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
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
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
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
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
Safe Deep Reinforcement Learning by Verifying Task-Level Properties
Enrico Marchesini
Luca Marzari
Alessandro Farinelli
Chris Amato
OffRL
9
13
0
20 Feb 2023
Online Safety Property Collection and Refinement for Safe Deep
  Reinforcement Learning in Mapless Navigation
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation
Luca Marzari
Enrico Marchesini
Alessandro Farinelli
OffRL
17
12
0
13 Feb 2023
Verifying Learning-Based Robotic Navigation Systems
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
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