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
Verlag:
IEEE
Verlagsort / Veröffentlichungsort:
Piscataway, NJ
Publikationsjahr:
2014
Seitenbereich:
546–551
Buchtitel:
Proceedings of the 3rd International Conference on Connected Vehicles and Expo
Jahrgang/Band:
3
ISBN:
978-1-4799-6729-2

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 Vehicles


Autor(inn)en / Herausgeber(innen)

Zuletzt aktualisiert 2019-09-01 um 15:05