@article{nilsson2016correct,
  title={Correct-by-construction adaptive cruise control: Two approaches},
  author={Nilsson, Petter and Hussien, Omar and Balkan, Ayca and Chen, Yuxiao and Ames, Aaron D and Grizzle, Jessy W and Ozay, Necmiye and Peng, Huei and Tabuada, Paulo},
  journal={IEEE Transactions on Control Systems Technology},
  volume={24},
  number={4},
  pages={1294--1307},
  year={2016},
  publisher={IEEE},
  url = {http://ames.caltech.edu/Nilsson_tcst16.pdf}
}

{"_id":"BMcARqba2iidNzvdG","bibbaseid":"nilsson-hussien-balkan-chen-ames-grizzle-ozay-peng-etal-correctbyconstructionadaptivecruisecontroltwoapproaches-2016","downloads":0,"creationDate":"2017-04-02T23:01:49.128Z","title":"Correct-by-construction adaptive cruise control: Two approaches","author_short":["Nilsson, P.","Hussien, O.","Balkan, A.","Chen, Y.","Ames, A. D","Grizzle, J. W","Ozay, N.","Peng, H.","Tabuada, P."],"year":2016,"bibtype":"article","biburl":"http://ames.caltech.edu/ames_ref_temp.bib","bibdata":{"bibtype":"article","type":"article","title":"Correct-by-construction adaptive cruise control: Two approaches","author":[{"propositions":[],"lastnames":["Nilsson"],"firstnames":["Petter"],"suffixes":[]},{"propositions":[],"lastnames":["Hussien"],"firstnames":["Omar"],"suffixes":[]},{"propositions":[],"lastnames":["Balkan"],"firstnames":["Ayca"],"suffixes":[]},{"propositions":[],"lastnames":["Chen"],"firstnames":["Yuxiao"],"suffixes":[]},{"propositions":[],"lastnames":["Ames"],"firstnames":["Aaron","D"],"suffixes":[]},{"propositions":[],"lastnames":["Grizzle"],"firstnames":["Jessy","W"],"suffixes":[]},{"propositions":[],"lastnames":["Ozay"],"firstnames":["Necmiye"],"suffixes":[]},{"propositions":[],"lastnames":["Peng"],"firstnames":["Huei"],"suffixes":[]},{"propositions":[],"lastnames":["Tabuada"],"firstnames":["Paulo"],"suffixes":[]}],"journal":"IEEE Transactions on Control Systems Technology","volume":"24","number":"4","pages":"1294–1307","year":"2016","publisher":"IEEE","url":"http://ames.caltech.edu/Nilsson_tcst16.pdf","bibtex":"@article{nilsson2016correct,\n title={Correct-by-construction adaptive cruise control: Two approaches},\n author={Nilsson, Petter and Hussien, Omar and Balkan, Ayca and Chen, Yuxiao and Ames, Aaron D and Grizzle, Jessy W and Ozay, Necmiye and Peng, Huei and Tabuada, Paulo},\n journal={IEEE Transactions on Control Systems Technology},\n volume={24},\n number={4},\n pages={1294--1307},\n year={2016},\n publisher={IEEE},\n url = {http://ames.caltech.edu/Nilsson_tcst16.pdf}\n}\n\n\n\n","author_short":["Nilsson, P.","Hussien, O.","Balkan, A.","Chen, Y.","Ames, A. D","Grizzle, J. W","Ozay, N.","Peng, H.","Tabuada, P."],"key":"nilsson2016correct","id":"nilsson2016correct","bibbaseid":"nilsson-hussien-balkan-chen-ames-grizzle-ozay-peng-etal-correctbyconstructionadaptivecruisecontroltwoapproaches-2016","role":"author","urls":{"Paper":"http://ames.caltech.edu/Nilsson_tcst16.pdf"},"metadata":{"authorlinks":{"ames, a":"http://www.bipedalrobotics.com/publications.html"}},"downloads":0,"html":""},"search_terms":["correct","construction","adaptive","cruise","control","two","approaches","nilsson","hussien","balkan","chen","ames","grizzle","ozay","peng","tabuada"],"keywords":[],"authorIDs":["gC2M76ZuLyN4DfgC5"],"dataSources":["c5Y5KxspQmgaqHb44","duW7N6zCCs7T9NwoJ","wfTjQp7BbyyzhMumG","JyoDgr7qvkjGYcFft","aeHt7AWKsAw9iiQqD","qAk5kJqscSPPSguqo"]}