par Arcile, Johan;Devillers, Raymond ;Klaudel, Hanna
Référence Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2020-May, page (2126-2127)
Publication Publié, 2020-08-01
Article révisé par les pairs
Titre:
  • VerifCar: A framework for modeling and model checking communicating autonomous vehicles
Auteur:Arcile, Johan; Devillers, Raymond; Klaudel, Hanna
Informations sur la publication:Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2020-May, page (2126-2127)
Statut de publication:Publié, 2020-08-01
Sujet CREF:Généralités
Mots-clés:Communicating Autonomous Vehicles
Formal Verification
Model Checking
Timed Automata
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1548-8403
info:scp/85096717755

Documents en relation

DI-fusion