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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A formal multi-agent language for cooperative autonomous driving scenarios


    Contributors:


    Publication date :

    2014-11-01


    Size :

    582174 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Mastering Cooperative Driving Strategy in Complex Scenarios using Multi-Agent Reinforcement Learning

    Liang, Qingyi / Jiang, Zhengmin / Yin, Jianwen et al. | IEEE | 2023


    Distributed Cooperative MPC for Autonomous Driving in Different Traffic Scenarios

    Mohseni, Fatemeh / Frisk, Erik / Nielsen, Lars | IEEE | 2021


    A Language Agent for Autonomous Driving

    Mao, Jiageng / Ye, Junjie / Qian, Yuxi et al. | ArXiv | 2023

    Free access


    DRIVING SCENARIOS FOR AUTONOMOUS VEHICLES

    RAMAMOORTHY SUBRAMANIAN / HAWASLY MAJD / EIRAS FRANCISCO et al. | European Patent Office | 2024

    Free access