Efficiency analysis of formally verified adaptive cruise controllers (2013)

by S M Loos, D Witmer, P Steenkiste, A Platzer
Venue:In Proc. of the 16th International IEEE Conference on Intelligent Transportation Systems