Abstract:
This paper addresses the problem of coordinating autonomous cars to provide higher safety standards in public road traffic with limited computational resources. We presen...Show MoreMetadata
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.
Date of Conference: 03-07 November 2014
Date Added to IEEE Xplore: 15 October 2015
ISBN Information: