Conference proceedings article
A Formal Multi-Agent Language for Cooperative Autonomous Driving Scenarios



Publication Details
Authors:
Opfer, S.; Geihs, K.; Witsch, A.
Editor:
Pfliegl, Reinhard
Publisher:
IEEE
Place:
Piscataway, NJ
Publication year:
2014
Pages range:
546–551
Book title:
Proceedings of the 3rd International Conference on Connected Vehicles and Expo
Volume number:
3
ISBN:
978-1-4799-6729-2

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.


Keywords
Autonomous Agents, Autonomous Cooperative Vehicles

Last updated on 2019-09-01 at 15:05