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

@inproceedings{TUW-290981,
    author = {Zapridou, Eleni and Bartocci, Ezio and Katsaros, Panagiotis},
    title = {Runtime Verification of Autonomous Driving Systems in CARLA},
    booktitle = {Proc. of RV 2020: the 20th International Conference on Runtime Verification},
    year = {2020},
    pages = {172--183},
    publisher = {Springer},
    address = {12399},
    isbn = {978-3-030-60507-0},
    doi = {10.1007/978-3-030-60508-7{\_}9},
    note = {talk: Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual); 2020-10-06 -- 2020-10-09}
}


1 Datensatz ausgegeben