About | Contact Us | Register | Login
ProceedingsSeriesJournalsSearchEAI
Context-Aware Systems and Applications, and Nature of Computation and Communication. 9th EAI International Conference, ICCASA 2020, and 6th EAI International Conference, ICTCC 2020, Thai Nguyen, Vietnam, November 26–27, 2020, Proceedings

Research Article

Formal Verification of Multi-agent Plans for Vehicle Platooning

Download(Requires a free EAI acccount)
7 downloads
Cite
BibTeX Plain Text
  • @INPROCEEDINGS{10.1007/978-3-030-67101-3_1,
        author={Thao Nguyen Van and Kurt Geihs},
        title={Formal Verification of Multi-agent Plans for Vehicle Platooning},
        proceedings={Context-Aware Systems and Applications, and Nature of Computation and Communication. 9th EAI International Conference, ICCASA 2020, and 6th EAI International Conference, ICTCC 2020, Thai Nguyen, Vietnam, November 26--27, 2020, Proceedings},
        proceedings_a={ICCASA \& ICTCC},
        year={2021},
        month={1},
        keywords={Verification ALICA Model checking Multi-agent plans},
        doi={10.1007/978-3-030-67101-3_1}
    }
    
  • Thao Nguyen Van
    Kurt Geihs
    Year: 2021
    Formal Verification of Multi-agent Plans for Vehicle Platooning
    ICCASA & ICTCC
    Springer
    DOI: 10.1007/978-3-030-67101-3_1
Thao Nguyen Van1, Kurt Geihs1,*
  • 1: Distributed Systems Research Group, University of Kassel, Wilhelmshöher Allee 73
*Contact email: geihs@vs.uni-kassel.de

Abstract

The collaboration and coordination of autonomous vehicles into convoys or platoons have been used on our highways. However, before deploying such vehicles on the real road, their autonomous behaviors must be certified to act safely. The vehicle platooning can be considered as a multi-agent system where each agent can make its own autonomous decisions. In order to ensure that these decision-making agents in the platoon never violate safety properties, we use the Uppaal model checker to verify them. Furthermore, to facilitate the checking process and create a consistent translation process, we have developed an automated translation program that can map our multi-agent plans to the Uppaal model checker format.

Keywords
Verification ALICA Model checking Multi-agent plans
Published
2021-01-13
Appears in
SpringerLink
http://dx.doi.org/10.1007/978-3-030-67101-3_1
Copyright © 2020–2025 ICST
EBSCOProQuestDBLPDOAJPortico
EAI Logo

About EAI

  • Who We Are
  • Leadership
  • Research Areas
  • Partners
  • Media Center

Community

  • Membership
  • Conference
  • Recognition
  • Sponsor Us

Publish with EAI

  • Publishing
  • Journals
  • Proceedings
  • Books
  • EUDL