@inproceedings{lukina2017ares,
  title={ARES: adaptive receding-horizon synthesis of optimal plans},
  author={Lukina, Anna and Esterle, Lukas and Hirsch, Christian and Bartocci, Ezio and Yang, Junxing and Tiwari, Ashish and Smolka, Scott A and Grosu, Radu},
  booktitle={Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II 23},
  pages={286--302},
  year={2017},
  organization={Springer Berlin Heidelberg},
  url_doi={https://link.springer.com/chapter/10.1007/978-3-662-54580-5_17},
  url_GitHub={https://github.com/AnnaLukina/VForm}
}

{"_id":"qX5nsHurKe9fAAeB3","bibbaseid":"lukina-esterle-hirsch-bartocci-yang-tiwari-smolka-grosu-aresadaptiverecedinghorizonsynthesisofoptimalplans-2017","author_short":["Lukina, A.","Esterle, L.","Hirsch, C.","Bartocci, E.","Yang, J.","Tiwari, A.","Smolka, S. A","Grosu, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"ARES: adaptive receding-horizon synthesis of optimal plans","author":[{"propositions":[],"lastnames":["Lukina"],"firstnames":["Anna"],"suffixes":[]},{"propositions":[],"lastnames":["Esterle"],"firstnames":["Lukas"],"suffixes":[]},{"propositions":[],"lastnames":["Hirsch"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["Bartocci"],"firstnames":["Ezio"],"suffixes":[]},{"propositions":[],"lastnames":["Yang"],"firstnames":["Junxing"],"suffixes":[]},{"propositions":[],"lastnames":["Tiwari"],"firstnames":["Ashish"],"suffixes":[]},{"propositions":[],"lastnames":["Smolka"],"firstnames":["Scott","A"],"suffixes":[]},{"propositions":[],"lastnames":["Grosu"],"firstnames":["Radu"],"suffixes":[]}],"booktitle":"Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II 23","pages":"286–302","year":"2017","organization":"Springer Berlin Heidelberg","url_doi":"https://link.springer.com/chapter/10.1007/978-3-662-54580-5_17","url_github":"https://github.com/AnnaLukina/VForm","bibtex":"@inproceedings{lukina2017ares,\n title={ARES: adaptive receding-horizon synthesis of optimal plans},\n author={Lukina, Anna and Esterle, Lukas and Hirsch, Christian and Bartocci, Ezio and Yang, Junxing and Tiwari, Ashish and Smolka, Scott A and Grosu, Radu},\n booktitle={Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II 23},\n pages={286--302},\n year={2017},\n organization={Springer Berlin Heidelberg},\n url_doi={https://link.springer.com/chapter/10.1007/978-3-662-54580-5_17},\n url_GitHub={https://github.com/AnnaLukina/VForm}\n}\n\n","author_short":["Lukina, A.","Esterle, L.","Hirsch, C.","Bartocci, E.","Yang, J.","Tiwari, A.","Smolka, S. A","Grosu, R."],"key":"lukina2017ares","id":"lukina2017ares","bibbaseid":"lukina-esterle-hirsch-bartocci-yang-tiwari-smolka-grosu-aresadaptiverecedinghorizonsynthesisofoptimalplans-2017","role":"author","urls":{" doi":"https://link.springer.com/chapter/10.1007/978-3-662-54580-5_17"," github":"https://github.com/AnnaLukina/VForm"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/G5eTRxih7rgFAfvXm","dataSources":["hXrZJL4srDQvAjKT8","GLaspvN5TK5kTeBzM","DvtkfMrf7vkMYxo4r","DemgDoocsmikyJJo7","WEznGv8jDoFee2dzG","zKJJFNb8JGPdNpeGG"],"keywords":[],"search_terms":["ares","adaptive","receding","horizon","synthesis","optimal","plans","lukina","esterle","hirsch","bartocci","yang","tiwari","smolka","grosu"],"title":"ARES: adaptive receding-horizon synthesis of optimal plans","year":2017}