Résumé : L’analyse comportementale des véhicules autonomes représente un challenge majeur dans lemonde de l’automobile. Dans le but d’assurerune conduite sécurisée et fluide, plusieurs méthodes peuvent être appliquées, notamment lasimulation informatique. L’analyse, cependant,doit tenir compte de très nombreux paramètresévoluant en temps réel. Dans ce contexte, nousétudions le changement de voie d’un véhiculeà différents niveaux d’abstraction. Cela nousconduit à déterminer les propriétés qui peuventêtre validées avec un niveau d’abstraction plushaut, où l’espace des paramètres est réduit, permettant une analyse plus efficace.