• Citer

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

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

• 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:	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:	Technologie des transports urbains
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