• Citer

VerifCar: a framework for modeling and model checking communicating autonomous vehicles

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

• Accès en ligne
• Détails
• Contenu
• Statistiques

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