In 2017, Shalev-Schwartz, Shammah and Shashua published an article on the preprint server arXiv entitled «On a Formal Model of Safe and Scalable Self-driving Cars». In this paper, a deterministic safety model called RSS is introduced and the article claims that if every road user adheres to the rules given by RSS, then no accidents can happen. The goal of this project was to inspect the article and to either validate the model or to find counterexamples to the claims made therein. Although the approach presented in the article seems promising, we were able to find shortcomings of the work by constructing scenarios in which RSS does not provide a guarantee for no accidents. Furthermore, we detected lines of thought along which the model could be refined.

Joint work with Corinne Hager Jörin and Florence Yerly.

A basic task in mathematics or mathematical modelling consists in solving equations. Since it is often times impossible to solve equations analytically, one is interested in understanding properties of the solution space of the equation, e.g. its cardinality. In this work we construct a method that allows to count the number of solutions of a real equation in one real variable without solving the equation. Based on geometric ideas, we construct an integral that counts the number of solutions to an equation under mild regularity assumptions.

N. Hungerbühler, M. Wasem, An integral that counts the zeros of a function, Open Math, 2018

## Mathematics at your service