par Arcile, Johan;Devillers, Raymond ;Klaudel, Hanna
Référence Autonomous agents and multi-agent systems, 33, 3, page (353-381)
Publication Publié, 2019-05-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:Autonomous agents and multi-agent systems, 33, 3, page (353-381)
Statut de publication:Publié, 2019-05-01
Sujet CREF:Intelligence artificielle
Mots-clés:Communicating autonomous vehicles
Formal verification
Model checking
Timed automata
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:1387-2532
info:doi/10.1007/s10458-019-09409-x
info:scp/85065290763