User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Christian Pek, Markus Koschi, and Matthias Althoff 
Title:
An Online Verification Framework for Motion Planning of Self-driving Vehicles with Safety Guarantees 
Abstract:
Self-driving vehicles must be able to safely navigate in any traffic scenario. However, all situations are different; even when clustering them, an impractical amount of scenarios would have to be verified. Thus, we propose a safety framework to verify the safety of each planned trajectory on-the-fly, using formal methods to handle uncertain measurements and future behaviors of traffic participants and disturbances acting on the ego vehicle, among others. Our framework can easily be integrated...    »
 
Book / Congress title:
AAET - Automatisiertes und vernetztes Fahren 
Year:
2019