| Title | Preliminary results on correct-by-construction control software synthesis for adaptive cruise control |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Nilsson, Petter, Hussien, Omar, Chen, Yuxiao, Balkan, Ayca, Rungger, Matthias, Ames, Aaron D, Grizzle, Jessy, Ozay, Necmiye, Peng, Huei, Tabuada, Paulo |
| Conference Name | Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on |
| Publisher | IEEE |
| Keywords | 1552668 |
| URL | http://web.eecs.umich.edu/ grizzle/papers/CDC2014_FormalMetthods4ACC_Submitted.pdf |
| Citation Key | nilsson2014preliminary |
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control