Loading [a11y]/accessibility-menu.js
A formal multi-agent language for cooperative autonomous driving scenarios | IEEE Conference Publication | IEEE Xplore

A formal multi-agent language for cooperative autonomous driving scenarios


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 More

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:

ISSN Information:

Conference Location: Vienna, Austria

Contact IEEE to Subscribe

References

References is not available for this document.