Verifying Learning-Based Robotic Navigation Systems

26 May 2022

Papers citing "Verifying Learning-Based Robotic Navigation Systems"

7 / 7 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
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 74 6 0 17 Feb 2025
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks Luca Marzari Davide Corsi Ferdinando Cicalese Alessandro Farinelli AAML 15 15 0 17 Jan 2023
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming Davide Corsi Raz Yerushalmi Guy Amir Alessandro Farinelli D. Harel Guy Katz 16 19 0 20 Jun 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,818 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 250 5,813 0 08 Jul 2016