Talks and Poster Presentations (with Proceedings-Entry):
A. Lukina, L. Esterle, C. Hirsch, E. Bartocci, J. Yang, S. Smolka, A. Tiwari, R. Grosu:
"ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans";
Talk: TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems,
Uppsala, Sweden;
2017-04-22
- 2017-04-29; in: "Proc. of TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
Springer,
10206
(2017),
286
- 302.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-662-54580-5