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.
%0 Generic
%1 12
%A Witsch, Andreas
%A Opfer, Stephan
%A Geihs, Kurt
%B 2014 International Conference on Connected Vehicles & Expo (ICCVE 2014)
%C Vienna, Austria
%D 2014
%K ALICA VS
%T A Formal Multi-Agent Language for Cooperative Autonomous Driving Scenarios
%X 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.
@conference{12,
abstract = {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.},
added-at = {2014-12-04T10:21:34.000+0100},
address = {Vienna, Austria},
author = {Witsch, Andreas and Opfer, Stephan and Geihs, Kurt},
biburl = {https://www.bibsonomy.org/bibtex/255ed0735f03cf5365d627d772b6f9410/vskassel},
booktitle = {2014 International Conference on Connected Vehicles & Expo (ICCVE 2014)},
interhash = {f316114b9f99cffea8cae7c17164b8e2},
intrahash = {55ed0735f03cf5365d627d772b6f9410},
keywords = {ALICA VS},
month = {11/2014},
timestamp = {2015-09-10T11:30:38.000+0200},
title = {A Formal Multi-Agent Language for Cooperative Autonomous Driving Scenarios},
year = 2014
}