Verifiably Safe Exploration for End-to-End Reinforcement Learning

2 July 2020

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

33 / 33 papers shown

Title
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey Chao Yu Xuejing Zheng H. Zhuo OffRL LRM 77 8 0 24 Apr 2023
Cautious Reinforcement Learning with Logical Constraints Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening 31 75 0 26 Feb 2020
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees Mohammadhosein Hasanbeig Y. Kantaros Alessandro Abate Daniel Kroening George J. Pappas Insup Lee AI4CE 98 150 0 11 Sep 2019
rlpyt: A Research Code Base for Deep Reinforcement Learning in PyTorch Adam Stooke Pieter Abbeel OffRL 40 96 0 03 Sep 2019
Neural Simplex Architecture Dung Phan Radu Grosu N. Jansen Nicola Paoletti S. Smolka Scott D. Stoller 41 61 0 01 Aug 2019
Objects as Points Xingyi Zhou Dequan Wang Philipp Krahenbuhl 3DPC 91 3,240 0 16 Apr 2019
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks Richard Cheng G. Orosz R. Murray J. W. Burdick 49 613 0 21 Mar 2019
Verifiably Safe Off-Model Reinforcement Learning Nathan Fulton André Platzer OffRL 29 67 0 14 Feb 2019
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 60 54 0 02 Feb 2019
SDRL: Interpretable and Data-efficient Deep Reinforcement Learning Leveraging Symbolic Planning Daoming Lyu Fangkai Yang Bo Liu Steven M. Gustafson OffRL 39 151 0 31 Oct 2018
Verification for Machine Learning, Autonomy, and Neural Networks Survey Weiming Xiang Patrick Musau A. Wild Diego Manzanas Lopez Nathaniel P. Hamilton Xiaodong Yang Joel A. Rosenfeld Taylor T. Johnson 46 101 0 03 Oct 2018
Robot Representation and Reasoning with Knowledge from Reinforcement Learning Keting Lu Shiqi Zhang Peter Stone Xiaoping Chen OffRL 114 18 0 28 Sep 2018
Omega-Regular Objectives in Model-Free Reinforcement Learning E. M. Hahn Mateo Perez S. Schewe Fabio Somenzi Ashutosh Trivedi D. Wojtczak 76 145 0 26 Sep 2018
Object-sensitive Deep Reinforcement Learning Yuezhang Li Katia Sycara R. Iyer 32 65 0 17 Sep 2018
CornerNet: Detecting Objects as Paired Keypoints Hei Law Jia Deng ObjD 57 3,598 0 03 Aug 2018
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf restraining specifications Giuseppe De Giacomo Luca Iocchi Marco Favorito F. Patrizi OffRL 44 123 0 17 Jul 2018
Task-Relevant Object Discovery and Categorization for Playing First-person Shooter Games Junchi Liang Abdeslam Boularias 14 2 0 17 Jun 2018
Unsupervised Video Object Segmentation for Deep Reinforcement Learning Vikrant Goel James Weng Pascal Poupart OCL 49 66 0 20 May 2018
PEORL: Integrating Symbolic Planning and Hierarchical Reinforcement Learning for Robust Decision-Making Fangkai Yang Daoming Lyu Bo Liu Steven M. Gustafson OffRL 26 136 0 20 Apr 2018
Learning-based Model Predictive Control for Safe Exploration Torsten Koller Felix Berkenkamp M. Turchetta Andreas Krause 41 376 0 22 Mar 2018
IMPALA: Scalable Distributed Deep-RL with Importance Weighted Actor-Learner Architectures L. Espeholt Hubert Soyer Rémi Munos Karen Simonyan Volodymyr Mnih ... Vlad Firoiu Tim Harley Iain Dunning Shane Legg Koray Kavukcuoglu 149 1,584 0 05 Feb 2018
Safe Exploration in Continuous Action Spaces Gal Dalal Krishnamurthy Dvijotham Matej Vecerík Todd Hester Cosmin Paduraru Yuval Tassa 41 438 0 26 Jan 2018
Logically-Constrained Reinforcement Learning Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening 25 82 0 24 Jan 2018
Safe Reinforcement Learning via Shielding Mohammed Alshiekh Roderick Bloem Rüdiger Ehlers Bettina Könighofer S. Niekum Ufuk Topcu 66 682 0 29 Aug 2017
Focal Loss for Dense Object Detection Nayeon Lee Priya Goyal Ross B. Girshick Kaiming He Piotr Dollár ObjD 105 2,993 0 07 Aug 2017
Proximal Policy Optimization Algorithms John Schulman Filip Wolski Prafulla Dhariwal Alec Radford Oleg Klimov OffRL 236 18,685 0 20 Jul 2017
Constrained Policy Optimization Joshua Achiam David Held Aviv Tamar Pieter Abbeel 91 1,313 0 30 May 2017
Safe Model-based Reinforcement Learning with Stability Guarantees Felix Berkenkamp M. Turchetta Angela P. Schoellig Andreas Krause 126 845 0 23 May 2017
Towards Deep Symbolic Reinforcement Learning M. Garnelo Kai Arulkumaran Murray Shanahan 62 226 0 18 Sep 2016
Deep Residual Learning for Image Recognition Kaiming He Xinming Zhang Shaoqing Ren Jian Sun MedIm 1.4K 192,638 0 10 Dec 2015
Trust Region Policy Optimization John Schulman Sergey Levine Philipp Moritz Michael I. Jordan Pieter Abbeel 245 6,722 0 19 Feb 2015
Adam: A Method for Stochastic Optimization Diederik P. Kingma Jimmy Ba ODL 857 149,474 0 22 Dec 2014
Playing Atari with Deep Reinforcement Learning Volodymyr Mnih Koray Kavukcuoglu David Silver Alex Graves Ioannis Antonoglou Daan Wierstra Martin Riedmiller 103 12,163 0 19 Dec 2013