Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea

Autonomous vehicles have to obey traffic rules. These rules are often formalized using temporal logic, resulting in constraints that are hard to solve using optimization-based motion planners. Reinforcement Learning (RL) is a promising method to find motion plans adhering to temporal logic specifications. However, vanilla RL algorithms are based on random exploration, which is inherently unsafe. To address this issue, we propose a provably safe RL approach that always complies with traffic rules. As a specific application area, we consider …

algorithms autonomous autonomous vehicles compliance constraints cs.lg cs.sy eess.sy logic optimization reinforcement reinforcement learning rules solve temporal traffic vehicles