Motion Planning of Autonomous Vehicles with Safety Guarantees (Bewegungsplanung von autonomen Fahrzeugen mit Sicherheitsgarantien) - Silvia Bresug (2021)