Correct-by-construction adaptive cruise control: Two approaches
| Title | Correct-by-construction adaptive cruise control: Two approaches |
| Publication Type | Journal Article |
| Year of Publication | 2016 |
| Authors | Nilsson, Petter, Hussien, Omar, Balkan, Ayca, Chen, Yuxiao, Ames, Aaron D, Grizzle, Jessy W, Ozay, Necmiye, Peng, Huei, Tabuada, Paulo |
| Journal | IEEE Transactions on Control Systems Technology |
| Volume | 24 |
| Pagination | 1294–1307 |
| Keywords | 1552668 |
| URL | http://web.eecs.umich.edu/ necmiye/pubs/Nilsson+_tcst16.pdf |
| Citation Key | nilsson2016correct |