Simulative performance evaluation of a provably collision free approach for managing autonomous cars on urban intersections / vorgelegt von Matthias Artmann ; Betreuer: Christoph Sommer ; Gutachter: Christoph Sommer, Friedhelm Meyer auf der Heide