Reinforcement Learning with Probabilistic Guarantees for Autonomous
Driving

Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving

15 April 2019

Mykel J. Kochenderfer

Jana Tumova

Papers citing "Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving"

14 / 14 papers shown

Title
Turn-based Multi-Agent Reinforcement Learning Model Checking Dennis Gross 47 0 0 06 Jan 2025
Autonomous Driving at Unsignalized Intersections: A Review of Decision-Making Challenges and Reinforcement Learning-Based Solutions Mohammad K. Al-Sharman Luc Edes Bert Sun Vishal Jayakumar Mohamed A. Daoud Derek Rayside W. Melek 29 1 0 20 Sep 2024
Reward Machines for Deep RL in Noisy and Uncertain Environments Andrew C. Li Zizhao Chen Toryn Q. Klassen Pashootan Vaezipoor Rodrigo Toro Icarte Sheila A. McIlraith 48 6 0 31 May 2024
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking Dennis Gross T. D. Simão N. Jansen G. Pérez AAML 46 2 0 10 Dec 2022
Dynamic Shielding for Reinforcement Learning in Black-Box Environments Masaki Waga Ezequiel Castellano Sasinee Pruekprasert Stefan Klikovits Toru Takisaka I. Hasuo 15 8 0 27 Jul 2022
Accelerated Reinforcement Learning for Temporal Logic Control Objectives Y. Kantaros 16 11 0 09 May 2022
Multi-task Safe Reinforcement Learning for Navigating Intersections in Dense Traffic Yuqi Liu Qichao Zhang Dongbin Zhao 28 14 0 19 Feb 2022
On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods Paulina Stevia Nouwou Mindom Amin Nikanjam Foutse Khomh J. Mullins AAML 28 3 0 08 Nov 2021
Risk-Constrained Interactive Safety under Behavior Uncertainty for Autonomous Driving Julian Bernhard Alois Knoll 37 8 0 05 Feb 2021
Quantifying Assurance in Learning-enabled Systems Erfan Asaadi E. Denney Ganesh J. Pai 9 16 0 18 Jun 2020
Provably Efficient Model-Free Algorithm for MDPs with Peak Constraints Qinbo Bai Vaneet Aggarwal Ather Gattami 16 7 0 11 Mar 2020
Neural Simplex Architecture Dung Phan Radu Grosu N. Jansen Nicola Paoletti S. Smolka Scott D. Stoller 16 61 0 01 Aug 2019
Safe Reinforcement Learning with Scene Decomposition for Navigating Complex Urban Environments Maxime Bouton A. Nakhaei K. Fujimura Mykel J. Kochenderfer 20 78 0 25 Apr 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017