Visible to the public Biblio

Filters: Keyword is formal methods  [Clear All Filters]
2018-05-27
P. Nilsson, O. Hussien, A. Balkan, Y. Chen, A. D. Ames, J. W. Grizzle, N. Ozay, H. Peng, P. Tabuada.  2015.  Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Transactions on Control Systems Technology. PP:1-14.