Shielding Atari Games with Bounded Prescience

20 January 2021

Papers citing "Shielding Atari Games with Bounded Prescience"

10 / 10 papers shown

Title
Safety through Permissibility: Shield Construction for Fast and Safe Reinforcement Learning A. Politowicz Sahisnu Mazumder Bing-Quan Liu 26 0 0 29 May 2024
Leveraging Approximate Model-based Shielding for Probabilistic Safety Guarantees in Continuous Environments Alexander W. Goodall Francesco Belardinelli OffRL 33 1 0 01 Feb 2024
Approximate Shielding of Atari Agents for Safe Exploration Alexander W. Goodall Francesco Belardinelli 27 2 0 21 Apr 2023
Online Shielding for Reinforcement Learning Bettina Könighofer Julian Rudolf Alexander Palmisano Martin Tappler Roderick Bloem OffRL 6 20 0 04 Dec 2022
Automata Learning meets Shielding Martin Tappler Stefan Pranger Bettina Könighofer Edi Muškardin Roderick Bloem Kim G. Larsen 33 4 0 04 Dec 2022
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees Dorde Zikelic Mathias Lechner T. Henzinger K. Chatterjee 21 21 0 11 Oct 2022
Learning a Shield from Catastrophic Action Effects: Never Repeat the Same Mistake Shahaf S. Shperberg Bo Liu Peter Stone 34 7 0 19 Feb 2022
Deep Reinforcement Learning for Autonomous Driving: A Survey B. R. Kiran Ibrahim Sobh V. Talpaert Patrick Mannion A. A. Sallab S. Yogamani P. Pérez 165 1,632 0 02 Feb 2020
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
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016