@inproceedings{tiwari2017attacking,
  title={Attacking the V: on the resiliency of adaptive-horizon MPC},
  author={Tiwari, Ashish and Smolka, Scott A and Esterle, Lukas and Lukina, Anna and Yang, Junxing and Grosu, Radu},
  booktitle={Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3--6, 2017, Proceedings 15},
  pages={446--462},
  year={2017},
  organization={Springer International Publishing},
  url_doi={https://link.springer.com/chapter/10.1007/978-3-319-68167-2_29}
}

{"_id":"R3oEmBpsnrBmTdL2C","bibbaseid":"tiwari-smolka-esterle-lukina-yang-grosu-attackingthevontheresiliencyofadaptivehorizonmpc-2017","author_short":["Tiwari, A.","Smolka, S. A","Esterle, L.","Lukina, A.","Yang, J.","Grosu, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Attacking the V: on the resiliency of adaptive-horizon MPC","author":[{"propositions":[],"lastnames":["Tiwari"],"firstnames":["Ashish"],"suffixes":[]},{"propositions":[],"lastnames":["Smolka"],"firstnames":["Scott","A"],"suffixes":[]},{"propositions":[],"lastnames":["Esterle"],"firstnames":["Lukas"],"suffixes":[]},{"propositions":[],"lastnames":["Lukina"],"firstnames":["Anna"],"suffixes":[]},{"propositions":[],"lastnames":["Yang"],"firstnames":["Junxing"],"suffixes":[]},{"propositions":[],"lastnames":["Grosu"],"firstnames":["Radu"],"suffixes":[]}],"booktitle":"Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings 15","pages":"446–462","year":"2017","organization":"Springer International Publishing","url_doi":"https://link.springer.com/chapter/10.1007/978-3-319-68167-2_29","bibtex":"@inproceedings{tiwari2017attacking,\n title={Attacking the V: on the resiliency of adaptive-horizon MPC},\n author={Tiwari, Ashish and Smolka, Scott A and Esterle, Lukas and Lukina, Anna and Yang, Junxing and Grosu, Radu},\n booktitle={Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3--6, 2017, Proceedings 15},\n pages={446--462},\n year={2017},\n organization={Springer International Publishing},\n url_doi={https://link.springer.com/chapter/10.1007/978-3-319-68167-2_29}\n}\n\n","author_short":["Tiwari, A.","Smolka, S. A","Esterle, L.","Lukina, A.","Yang, J.","Grosu, R."],"key":"tiwari2017attacking","id":"tiwari2017attacking","bibbaseid":"tiwari-smolka-esterle-lukina-yang-grosu-attackingthevontheresiliencyofadaptivehorizonmpc-2017","role":"author","urls":{" doi":"https://link.springer.com/chapter/10.1007/978-3-319-68167-2_29"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/G5eTRxih7rgFAfvXm","dataSources":["hXrZJL4srDQvAjKT8","GLaspvN5TK5kTeBzM","DvtkfMrf7vkMYxo4r","DemgDoocsmikyJJo7","WEznGv8jDoFee2dzG","zKJJFNb8JGPdNpeGG"],"keywords":[],"search_terms":["attacking","resiliency","adaptive","horizon","mpc","tiwari","smolka","esterle","lukina","yang","grosu"],"title":"Attacking the V: on the resiliency of adaptive-horizon MPC","year":2017}