@inproceedings{nilsson2014preliminary,
  title={Preliminary results on correct-by-construction control software synthesis for adaptive cruise control},
  author={Nilsson, Petter and Hussien, Omar and Chen, Yuxiao and Balkan, Ayca and Rungger, Matthias and Ames, Aaron and Grizzle, Jessy and Ozay, Necmiye and Peng, Huei and Tabuada, Paulo},
  booktitle={Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on},
  pages={816--823},
  year={2014},
  organization={IEEE},
  url = {http://ames.caltech.edu/CDC_formal_methods.pdf}
}

{"_id":"B3zM7wJuokDtfQetq","bibbaseid":"nilsson-hussien-chen-balkan-rungger-ames-grizzle-ozay-etal-preliminaryresultsoncorrectbyconstructioncontrolsoftwaresynthesisforadaptivecruisecontrol-2014","downloads":0,"creationDate":"2017-04-02T23:01:49.151Z","title":"Preliminary results on correct-by-construction control software synthesis for adaptive cruise control","author_short":["Nilsson, P.","Hussien, O.","Chen, Y.","Balkan, A.","Rungger, M.","Ames, A.","Grizzle, J.","Ozay, N.","Peng, H.","Tabuada, P."],"year":2014,"bibtype":"inproceedings","biburl":"http://ames.caltech.edu/ames_ref_temp.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Preliminary results on correct-by-construction control software synthesis for adaptive cruise control","author":[{"propositions":[],"lastnames":["Nilsson"],"firstnames":["Petter"],"suffixes":[]},{"propositions":[],"lastnames":["Hussien"],"firstnames":["Omar"],"suffixes":[]},{"propositions":[],"lastnames":["Chen"],"firstnames":["Yuxiao"],"suffixes":[]},{"propositions":[],"lastnames":["Balkan"],"firstnames":["Ayca"],"suffixes":[]},{"propositions":[],"lastnames":["Rungger"],"firstnames":["Matthias"],"suffixes":[]},{"propositions":[],"lastnames":["Ames"],"firstnames":["Aaron"],"suffixes":[]},{"propositions":[],"lastnames":["Grizzle"],"firstnames":["Jessy"],"suffixes":[]},{"propositions":[],"lastnames":["Ozay"],"firstnames":["Necmiye"],"suffixes":[]},{"propositions":[],"lastnames":["Peng"],"firstnames":["Huei"],"suffixes":[]},{"propositions":[],"lastnames":["Tabuada"],"firstnames":["Paulo"],"suffixes":[]}],"booktitle":"Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on","pages":"816–823","year":"2014","organization":"IEEE","url":"http://ames.caltech.edu/CDC_formal_methods.pdf","bibtex":"@inproceedings{nilsson2014preliminary,\n title={Preliminary results on correct-by-construction control software synthesis for adaptive cruise control},\n author={Nilsson, Petter and Hussien, Omar and Chen, Yuxiao and Balkan, Ayca and Rungger, Matthias and Ames, Aaron and Grizzle, Jessy and Ozay, Necmiye and Peng, Huei and Tabuada, Paulo},\n booktitle={Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on},\n pages={816--823},\n year={2014},\n organization={IEEE},\n url = {http://ames.caltech.edu/CDC_formal_methods.pdf}\n}\n\n","author_short":["Nilsson, P.","Hussien, O.","Chen, Y.","Balkan, A.","Rungger, M.","Ames, A.","Grizzle, J.","Ozay, N.","Peng, H.","Tabuada, P."],"key":"nilsson2014preliminary","id":"nilsson2014preliminary","bibbaseid":"nilsson-hussien-chen-balkan-rungger-ames-grizzle-ozay-etal-preliminaryresultsoncorrectbyconstructioncontrolsoftwaresynthesisforadaptivecruisecontrol-2014","role":"author","urls":{"Paper":"http://ames.caltech.edu/CDC_formal_methods.pdf"},"metadata":{"authorlinks":{"ames, a":"http://www.bipedalrobotics.com/publications.html"}},"downloads":0,"html":""},"search_terms":["preliminary","results","correct","construction","control","software","synthesis","adaptive","cruise","control","nilsson","hussien","chen","balkan","rungger","ames","grizzle","ozay","peng","tabuada"],"keywords":[],"authorIDs":["gC2M76ZuLyN4DfgC5"],"dataSources":["c5Y5KxspQmgaqHb44","duW7N6zCCs7T9NwoJ","wfTjQp7BbyyzhMumG","JyoDgr7qvkjGYcFft","aeHt7AWKsAw9iiQqD","qAk5kJqscSPPSguqo"]}