Safe Reinforcement Learning via Shielding under Partial Observability

Safe Reinforcement Learning via Shielding under Partial Observability

2 April 2022

Sebastian Junges

Ufuk Topcu

Papers citing "Safe Reinforcement Learning via Shielding under Partial Observability"

15 / 15 papers shown

Title
Think Smart, Act SMARL! Analyzing Probabilistic Logic Shields for Multi-Agent Reinforcement Learning Satchit Chatterji Erman Acar 38 0 0 07 Nov 2024
Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding Daniel Bethell Simos Gerasimou R. Calinescu Calum Imrie OffRL OnRL 39 0 0 28 May 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 37 18 0 20 Feb 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
Safe POMDP Online Planning via Shielding Shili Sheng David Parker Lu Feng 26 2 0 19 Sep 2023
Shielded Reinforcement Learning for Hybrid Systems Asger Horn Brorholt P. G. Jensen Kim G. Larsen Florian Lorber Christian Schilling 18 4 0 28 Aug 2023
Reinforcement Learning by Guided Safe Exploration Qisong Yang T. D. Simão N. Jansen Simon Tindemans M. Spaan OffRL OnRL 31 5 0 26 Jul 2023
Safety Shielding under Delayed Observation Filip Cano Córdoba Alexander Palmisano M. Fränzle Roderick Bloem Bettina Könighofer 23 1 0 05 Jul 2023
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey Chao Yu Xuejing Zheng H. Zhuo OffRL LRM 55 7 0 24 Apr 2023
Approximate Shielding of Atari Agents for Safe Exploration Alexander W. Goodall Francesco Belardinelli 27 2 0 21 Apr 2023
Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation Yannick Hogewind T. D. Simão Tal Kachman N. Jansen 16 10 0 02 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
Soft Actor-Critic for Discrete Action Settings Petros Christodoulou OffRL 104 292 0 16 Oct 2019
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
Safe Exploration in Markov Decision Processes T. Moldovan Pieter Abbeel 78 308 0 22 May 2012