Verifiably Safe Exploration for End-to-End Reinforcement Learning

Verifiably Safe Exploration for End-to-End Reinforcement Learning

2 July 2020

Sara Magliacane

Armando Solar-Lezama

Papers citing "Verifiably Safe Exploration for End-to-End Reinforcement Learning"

11 / 11 papers shown

Title
Think Smart, Act SMARL! Analyzing Probabilistic Logic Shields for Multi-Agent Reinforcement Learning Satchit Chatterji Erman Acar 48 0 0 07 Nov 2024
Runtime Verification of Learning Properties for Reinforcement Learning Algorithms T. Mannucci Julio de Oliveira Filho OffRL 8 0 0 16 Nov 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
A Human-Centered Safe Robot Reinforcement Learning Framework with Interactive Behaviors Shangding Gu Alap Kshirsagar Yali Du Guang Chen Jan Peters Alois C. Knoll 39 14 0 25 Feb 2023
Online Shielding for Reinforcement Learning Bettina Könighofer Julian Rudolf Alexander Palmisano Martin Tappler Roderick Bloem OffRL 14 21 0 04 Dec 2022
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 31 15 0 21 Sep 2022
Dynamic Shielding for Reinforcement Learning in Black-Box Environments Masaki Waga Ezequiel Castellano Sasinee Pruekprasert Stefan Klikovits Toru Takisaka I. Hasuo 23 8 0 27 Jul 2022
A Review of Safe Reinforcement Learning: Methods, Theory and Applications Shangding Gu Longyu Yang Yali Du Guang Chen Florian Walter Jun Wang Alois C. Knoll OffRL AI4TS 117 241 0 20 May 2022
Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments Jakob Thumm Matthias Althoff 58 34 0 12 May 2022
Exploration in Deep Reinforcement Learning: A Survey Pawel Ladosz Lilian Weng Minwoo Kim H. Oh OffRL 31 324 0 02 May 2022
Exploration in Deep Reinforcement Learning: From Single-Agent to Multiagent Domain Jianye Hao Tianpei Yang Hongyao Tang Chenjia Bai Jinyi Liu Zhaopeng Meng Peng Liu Zhen Wang OffRL 41 93 0 14 Sep 2021