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"

16 / 16 papers shown

Title
Turn-based Multi-Agent Reinforcement Learning Model Checking Dennis Gross 63 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 33 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 57 7 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 53 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 31 8 0 27 Jul 2022
Accelerated Reinforcement Learning for Temporal Logic Control Objectives Y. Kantaros 21 11 0 09 May 2022
Safe Reinforcement Learning via Shielding under Partial Observability Steven Carr N. Jansen Sebastian Junges Ufuk Topcu 19 45 0 02 Apr 2022
Multi-task Safe Reinforcement Learning for Navigating Intersections in Dense Traffic Yuqi Liu Qichao Zhang Dongbin Zhao 33 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 36 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 17 16 0 18 Jun 2020
Provably Efficient Model-Free Algorithm for MDPs with Peak Constraints Qinbo Bai Vaneet Aggarwal Ather Gattami 24 7 0 11 Mar 2020
Neural Simplex Architecture Dung Phan Radu Grosu N. Jansen Nicola Paoletti S. Smolka Scott D. Stoller 30 61 0 01 Aug 2019
Securing Connected & Autonomous Vehicles: Challenges Posed by Adversarial Machine Learning and The Way Forward A. Qayyum Muhammad Usama Junaid Qadir Ala I. Al-Fuqaha AAML 27 187 0 29 May 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 251 1,842 0 03 Feb 2017