Preliminary results on correct-by-construction control software synthesis for adaptive cruise control

Citation:
Nilsson, P., O. Hussien, Y. Chen, A. Balkan, M. Rungger, A. Ames, J. Grizzle, N. Ozay, H. Peng, and P. Tabuada, "Preliminary results on correct-by-construction control software synthesis for adaptive cruise control", 53rd IEEE Conference on Decision and Control: IEEE, pp. 816–823, 2014.

Abstract:

n/a

Notes:

n/a

Tourism