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 |
DOI-Link der Erstveröffentlichung: |
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.
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