Christian Pek, Peter Zahn, Matthias Althoff. Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules. In IEEE Intelligent Vehicles Symposium, IV 2017, Los Angeles, CA, USA, June 11-14, 2017. pages 1477-1483, IEEE, 2017. [doi]
Abstract is missing.