Shielding Atari Games with Bounded Prescience

Shielding Atari Games with Bounded Prescience

20 January 2021

Mohammadhosein Hasanbeig

Daniel Kroening

Papers citing "Shielding Atari Games with Bounded Prescience"

11 / 11 papers shown

Title
Safety through Permissibility: Shield Construction for Fast and Safe Reinforcement Learning A. Politowicz Sahisnu Mazumder Bing-Quan Liu 31 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 14 21 0 04 Dec 2022
Automata Learning meets Shielding Martin Tappler Stefan Pranger Bettina Könighofer Edi Muškardin Roderick Bloem Kim G. Larsen 38 4 0 04 Dec 2022
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees Dorde Zikelic Mathias Lechner T. Henzinger K. Chatterjee 29 22 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 171 1,642 0 02 Feb 2020
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 24 53 0 02 Feb 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016