Beitrag in einem Tagungsband
A Formal Multi-Agent Language for Cooperative Autonomous Driving Scenarios
Details zur Publikation
Autor(inn)en: | Opfer, S.; Geihs, K.; Witsch, A.
|
Herausgeber: | Pfliegl, Reinhard
|
Verlagsort / Veröffentlichungsort: | Piscataway, NJ
|
Buchtitel: | Proceedings of the 3rd International Conference on Connected Vehicles and Expo
|
Zusammenfassung, Abstract
This paper addresses the problem of coor-dinating autonomous cars to provide higher safety stan-dards in public road traffic with limited computationalresources. Thus, we present a modelling language thatallows formal program verification to guarantee cor-rectness. Here, we apply the multi-agent coordinationlanguage ALICA that has originally been developedfor the robotic football domain. To show the practicalapplicability and efficiency for the autonomous drivingdomain, we applied ALICA to two autonomous cardriving scenarios. Thus, we demonstrate the benefitsof using a conceptually sound methodology for thecoordination of autonomous cars.
Schlagwörter
Autonomous Agents, Autonomous Cooperative VehiclesAutor(inn)en / Herausgeber(innen)