Im Jahr 2017 wurde auf dem Preprint Server arXiv eine Arbeit mit dem Titel «On a Formal Model of Safe and Scalable Self-driving Cars» von Shalev-Schwartz, Shammah und Shashua publiziert. In diesem Artikel wird ein deterministisches Sicherheitsmodell namens RSS für selbstfahrende Autos präsentiert, welches zu garantieren behauptet, dass es keine Unfälle mehr gibt, wenn alle Verkehrsteilnehmer die durch RSS definierten Regeln respektieren. Das Ziel des Projektes bestand darin, die physikalischen und mathematischen Behauptungen im Artikel zu validieren resp. Gegenbeispiele zu finden. Obgleich der im Artikel gewählte Ansatz vielversprechend zu sein scheint, ist es uns gelungen, Unzulänglichkeiten zu finden und Verkehrsszenarien zu konstruieren, in welchen RSS nicht dafür garantieren kann, dass keine Unfälle stattfinden. Zudem haben wir Ansätze gefunden, wie das Modell ausgebaut und verbessert werden könnte.

Zusammenarbeit mit Corinne Hager Jörin und Florence Yerly