From d0ff440b59d4dba7c65c7bb037ba95f1657a082d Mon Sep 17 00:00:00 2001 From: Fabian Vu Date: Wed, 28 Aug 2024 10:28:37 +0200 Subject: [PATCH] Add paper: Validation of Reinforcement Learning Agents and Safety Shields with ProB --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index b5b5ef2c8..7c9a3850a 100644 --- a/README.md +++ b/README.md @@ -225,6 +225,7 @@ List of publications & preprints using `highway-env` (please open a pull request * [Investigating High-Level Decision Making for Automated Driving](https://link.springer.com/chapter/10.1007/978-3-031-30333-3_41) (Apr 2023) * [Implementing Deep Reinforcement Learning (DRL)-based Driving Styles for Non-Player Vehicles](https://journal.seriousgamessociety.org/index.php/IJSG/article/view/638) (Nov 2023) * [Investigating Adversarial Policy Learning for Robust Agents in Automated Driving Highway Simulations](https://link.springer.com/chapter/10.1007/978-3-031-48121-5_18) (Jan 2024) +* [Validation of Reinforcement Learning Agents and Safety Shields with ProB](https://link.springer.com/chapter/10.1007/978-3-031-60698-4_16) (May 2024) PhD theses * [Reinforcement learning for Dialogue Systems optimization with user adaptation](https://hal.inria.fr/tel-02422691/) (2019)