En 2017, l’article «On a Formal Model of Safe and Scalable Self-driving Cars» de Shalev-Schwartz, Shammah et Shashua a été publié sur le serveur Preprint arXiv. Dans cet article, un modèle déterministe de sécurité, nommé RSS, pour les véhicules autonomes est présenté. Ce modèle assure que si tous les acteurs respectent les règles énoncées, plus aucun accident n’aura lieu. Le but de notre projet était de valider les affirmations basées sur des considérations physiques et mathématiques ainsi que de trouver des contre-exemples, s’il y a lieu. Bien que l’approche présentée dans cet article semble prometteuse, nous avons trouvé des points à clarifier et construit des situations, pour lesquelles le modèle RSS ne garantissait pas l’absence totale d’accidents. De plus, nous avons quelques idées sur des pistes d’améliorations pour ce modèle que nous devons approfondir dans une deuxième étape.

Collaboration avec Corinne Hager Jörin et Florence Yerly