Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules

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]

Authors

Christian Pek

This author has not been identified. Look up 'Christian Pek' in Google

Peter Zahn

This author has not been identified. Look up 'Peter Zahn' in Google

Matthias Althoff

This author has not been identified. Look up 'Matthias Althoff' in Google