[Back]


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


Created from the Publication Database of the Vienna University of Technology.