Verification-Guided Shielding for Deep Reinforcement Learning

Verification-Guided Shielding for Deep Reinforcement Learning

10 June 2024

Andoni Rodríguez

César Sánchez

Roy Fox

Papers citing "Verification-Guided Shielding for Deep Reinforcement Learning"

4 / 4 papers shown

Title
Constrained Update Projection Approach to Safe Policy Optimization Long Yang Jiaming Ji Juntao Dai Linrui Zhang Binbin Zhou Pengfei Li Yaodong Yang Gang Pan 38 42 0 15 Sep 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 79 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
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016