Guaranteeing Complex Safety Specifications for Autonomous Vehicles via Reinforcement Learning With Formal Methods
MCML Authors
Hanna Krasowski
Dr.
* Former Member
Abstract
Hanna Krasowski
Dr.
* Former Member
Abstract
Reinforcement learning (RL) solves complicated motion planning tasks for autonomous vehicles. Current RL methods lack safety guarantees. This dissertation combines RL with formal methods that verify safety specifications so that only verified actions are executed. The safe RL approaches are developed for autonomous vehicles and their complex safety specifications. The evaluation confirms the safety guarantees and real-time capability.
BibTeXKey: Kra24