Correct-by-construction adaptive cruise control: Two approaches

Citation:
Nilsson, P., O. Hussien, A. Balkan, Y. Chen, A. D. Ames, J. W. Grizzle, N. Ozay, H. Peng, and P. Tabuada, "Correct-by-construction adaptive cruise control: Two approaches", IEEE Transactions on Control Systems Technology, vol. 24, no. 4: IEEE, pp. 1294–1307, 2015.

Abstract:

n/a

Notes:

n/a