by Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
Reference:
ARES: Adaptive Receding-Horizon Synthesis of Optimal PlansAnna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu GrosuTools 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 (Axel Legay, Tiziana Margaria, eds.), volume 10206 of Lecture Notes in Computer Science, pages 286–302, 2017.
Bibtex Entry:
@inproceedings{DBLP:conf/tacas/LukinaEHBYTSG17,
author = {Anna Lukina and
Lukas Esterle and
Christian Hirsch and
Ezio Bartocci and
Junxing Yang and
Ashish Tiwari and
Scott A. Smolka and
Radu Grosu},
editor = {Axel Legay and
Tiziana Margaria},
title = {{ARES:} Adaptive Receding-Horizon Synthesis of Optimal Plans},
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}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {286--302},
year = {2017},
url = {http://arxiv.org/abs/1612.07059},
doi = {10.1007/978-3-662-54580-5_17},
timestamp = {Fri, 31 Mar 2017 12:31:16 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/tacas/LukinaEHBYTSG17},
bibsource = {dblp computer science bibliography, http://dblp.org}
}