Safe Deep Reinforcement Learning by Verifying Task-Level Properties

20 February 2023

Papers citing "Safe Deep Reinforcement Learning by Verifying Task-Level Properties"

5 / 5 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
RL2Grid: Benchmarking Reinforcement Learning in Power Grid Operations Enrico Marchesini Benjamin Donnot Constance Crozier Ian Dytham Christian Merz Lars Schewe Nico Westerbeck Cathy Wu Antoine Marot P. Donti OffRL 57 1 0 29 Mar 2025
SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents Amirhossein Zolfagharian Manel Abdellatif Lionel C. Briand S. Ramesh 25 5 0 03 Aug 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
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 234 1,837 0 03 Feb 2017