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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A formal multi-agent language for cooperative autonomous driving scenarios


    Beteiligte:
    Witsch, Andreas (Autor:in) / Opfer, Stephan (Autor:in) / Geihs, Kurt (Autor:in)


    Erscheinungsdatum :

    2014-11-01


    Format / Umfang :

    582174 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Distributed Cooperative MPC for Autonomous Driving in Different Traffic Scenarios

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

    Freier Zugriff

    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



    DRIVING SCENARIOS FOR AUTONOMOUS VEHICLES

    RAMAMOORTHY SUBRAMANIAN / HAWASLY MAJD / EIRAS FRANCISCO et al. | Europäisches Patentamt | 2021

    Freier Zugriff