Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing

10 December 2023

Papers citing "Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing"

5 / 5 papers shown

Title
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 45 1 0 27 May 2024
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 27 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 94 37 0 26 May 2022
Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks Luca Marzari Ameya Pore Diego DallÁlba G. Aragon-Camarasa Alessandro Farinelli Paolo Fiorini 38 28 0 08 Feb 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017