BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-262609,
    author = {Lukina, Anna and Esterle, Lukas and Hirsch, Christian and Bartocci, Ezio and Yang, Junxing and Smolka, Scott A. and Tiwari, Ashish and Grosu, Radu},
    title = {ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans},
    booktitle = {Proc. of TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
    year = {2017},
    pages = {286--302},
    publisher = {Springer},
    address = {10206},
    doi = {10.1007/978-3-662-54580-5},
    note = {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}
}


1 Datensatz ausgegeben