@article{xu2018correctness,
  title={Correctness guarantees for the composition of lane keeping and adaptive cruise control},
  author={Xu, Xiangru and Grizzle, Jessy W and Tabuada, Paulo and Ames, Aaron D},
  journal={IEEE Transactions on Automation Science and Engineering},
  volume={15},
  number={3},
  pages={1216--1229},
  year={2018},
  publisher={IEEE},
  url = {http://ames.caltech.edu/xu2017correctness.pdf},
  note = {Best New Application Paper Award}
}




%%%%%%%%%%%%%%% year={2017} %%%%%%%%%%%

{"_id":"H66Y4tdgy2LisypXz","bibbaseid":"xu-grizzle-tabuada-ames-correctnessguaranteesforthecompositionoflanekeepingandadaptivecruisecontrol-2018","downloads":2,"creationDate":"2018-10-12T18:17:39.410Z","title":"Correctness guarantees for the composition of lane keeping and adaptive cruise control","author_short":["Xu, X.","Grizzle, J. W","Tabuada, P.","Ames, A. D"],"year":2018,"bibtype":"article","biburl":"http://ames.caltech.edu/ames_ref_temp.bib","bibdata":{"bibtype":"article","type":"article","title":"Correctness guarantees for the composition of lane keeping and adaptive cruise control","author":[{"propositions":[],"lastnames":["Xu"],"firstnames":["Xiangru"],"suffixes":[]},{"propositions":[],"lastnames":["Grizzle"],"firstnames":["Jessy","W"],"suffixes":[]},{"propositions":[],"lastnames":["Tabuada"],"firstnames":["Paulo"],"suffixes":[]},{"propositions":[],"lastnames":["Ames"],"firstnames":["Aaron","D"],"suffixes":[]}],"journal":"IEEE Transactions on Automation Science and Engineering","volume":"15","number":"3","pages":"1216–1229","year":"2018","publisher":"IEEE","url":"http://ames.caltech.edu/xu2017correctness.pdf","note":"Best New Application Paper Award","bibtex":"@article{xu2018correctness,\n title={Correctness guarantees for the composition of lane keeping and adaptive cruise control},\n author={Xu, Xiangru and Grizzle, Jessy W and Tabuada, Paulo and Ames, Aaron D},\n journal={IEEE Transactions on Automation Science and Engineering},\n volume={15},\n number={3},\n pages={1216--1229},\n year={2018},\n publisher={IEEE},\n url = {http://ames.caltech.edu/xu2017correctness.pdf},\n note = {Best New Application Paper Award}\n}\n\n\n\n\n%%%%%%%%%%%%%%% year={2017} %%%%%%%%%%%\n\n","author_short":["Xu, X.","Grizzle, J. W","Tabuada, P.","Ames, A. D"],"key":"xu2018correctness","id":"xu2018correctness","bibbaseid":"xu-grizzle-tabuada-ames-correctnessguaranteesforthecompositionoflanekeepingandadaptivecruisecontrol-2018","role":"author","urls":{"Paper":"http://ames.caltech.edu/xu2017correctness.pdf"},"metadata":{"authorlinks":{"ames, a":"http://www.bipedalrobotics.com/publications.html"}},"downloads":2,"html":""},"search_terms":["correctness","guarantees","composition","lane","keeping","adaptive","cruise","control","xu","grizzle","tabuada","ames"],"keywords":[],"authorIDs":["gC2M76ZuLyN4DfgC5"],"dataSources":["c5Y5KxspQmgaqHb44","wfTjQp7BbyyzhMumG","JyoDgr7qvkjGYcFft","aeHt7AWKsAw9iiQqD","qAk5kJqscSPPSguqo"]}