Verifiably Safe Off-Model Reinforcement Learning

14 February 2019

Papers citing "Verifiably Safe Off-Model Reinforcement Learning"

13 / 13 papers shown

Title
Turn-based Multi-Agent Reinforcement Learning Model Checking Dennis Gross 66 0 0 06 Jan 2025
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking Dennis Gross T. D. Simão N. Jansen G. Pérez AAML 53 2 0 10 Dec 2022
Online Shielding for Reinforcement Learning Bettina Könighofer Julian Rudolf Alexander Palmisano Martin Tappler Roderick Bloem OffRL 19 21 0 04 Dec 2022
Guiding Safe Exploration with Weakest Preconditions Greg Anderson Swarat Chaudhuri Işıl Dillig 52 6 0 28 Sep 2022
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 39 15 0 21 Sep 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
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 39 66 0 26 Jul 2021
Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking Lenz Belzner M. Wirsing 22 4 0 08 May 2020
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems Hoang-Dung Tran Xiaodong Yang Diego Manzanas Lopez Patrick Musau L. V. Nguyen Weiming Xiang Stanley Bak Taylor T. Johnson 34 239 0 12 Apr 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 33 151 0 11 Sep 2019
Neural Simplex Architecture Dung Phan Radu Grosu N. Jansen Nicola Paoletti S. Smolka Scott D. Stoller 30 61 0 01 Aug 2019
Rarely-switching linear bandits: optimization of causal effects for the real world B. Lansdell Sofia Triantafillou Konrad Paul Kording 22 4 0 30 May 2019
Certified Reinforcement Learning with Logic Guidance Mohammadhosein Hasanbeig Daniel Kroening Alessandro Abate 35 53 0 02 Feb 2019