Schwammberger, Maike (2020) Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic. PhD, Universität Oldenburg.