Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL

Maike Schwammberger

With Multi-lane Spatial Logic (MLSL) a powerful approach to formally reason about and prove safety of autonomous traffic manoeuvres was introduced. Extended timed automata controll…