This paper addresses the problem of coordinating autonomous cars to provide higher safety standards in public road traffic with limited computational resources. We present a modelling language that allows formal program verification to guarantee correctness. We apply the multi-agent coordination language ALICA that has originally been developed for the robotic football domain. To show the practical applicability and efficiency for the autonomous driving domain, we applied ALICA to two autonomous car driving scenarios. Thus, we demonstrate the benefits of using a conceptually sound methodology for the coordination of autonomous cars.
A formal multi-agent language for cooperative autonomous driving scenarios
2014-11-01
582174 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Distributed Cooperative MPC for Autonomous Driving in Different Traffic Scenarios
BASE | 2021
|