Safe and efficient collision avoidance control for autonomous vehicles

Qiang Wang, Dachuan Li, Joseph Sifakis. Safe and efficient collision avoidance control for autonomous vehicles. In 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020. pages 1-6, IEEE, 2020. [doi]

Authors

Qiang Wang

This author has not been identified. Look up 'Qiang Wang' in Google

Dachuan Li

This author has not been identified. Look up 'Dachuan Li' in Google

Joseph Sifakis

This author has not been identified. Look up 'Joseph Sifakis' in Google