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

@inproceedings{TUW-265253,
    author = {Tiwari, Ashish and Smolka, Scott A. and Esterle, Lukas and Lukina, Anna and Yang, Junxing and Grosu, Radu},
    title = {Attacking the V: On the Resiliency of Adaptive-Horizon MPC},
    booktitle = {Proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis},
    year = {2017},
    pages = {446--462},
    publisher = {Springer International Publishing},
    address = {10482, Cham},
    isbn = {978-3-319-68166-5},
    doi = {10.1007/978-3-319-68167-2{\_}29},
    note = {talk: 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, Pune, India; 2017-10-03 -- 2017-10-06}
}


1 Datensatz ausgegeben