%0 Conference Paper %1 conf/tacas/LukinaEHBYTSG17 %A Lukina, Anna %A Esterle, Lukas %A Hirsch, Christian %A Bartocci, Ezio %A Yang, Junxing %A Tiwari, Ashish %A Smolka, Scott A. %A Grosu, Radu %B TACAS (2) %D 2017 %E Legay, Axel %E Margaria, Tiziana %K dblp %P 286-302 %T ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2017-2.html#LukinaEHBYTSG17 %V 10206 %@ 978-3-662-54580-5

@inproceedings{conf/tacas/LukinaEHBYTSG17, added-at = {2019-11-06T00:00:00.000+0100}, 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}, biburl = {https://www.bibsonomy.org/bibtex/2a13670b34ff77dc833498dd902ad1e16/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2017-2}, editor = {Legay, Axel and Margaria, Tiziana}, ee = {https://doi.org/10.1007/978-3-662-54580-5_17}, interhash = {d489c1582ff2d2d6d47c2c4c67e2cc7e}, intrahash = {a13670b34ff77dc833498dd902ad1e16}, isbn = {978-3-662-54580-5}, keywords = {dblp}, pages = {286-302}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-07T11:42:33.000+0100}, title = {ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2017-2.html#LukinaEHBYTSG17}, volume = 10206, year = 2017 }