• 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

Fichier(s) déposé(s) par l'encodeur