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

@inproceedings{TUW-282750,
    author = {Haghighi, Iman and Mehdipour, Noushin and Bartocci, Ezio and Belta, Calin},
    title = {Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics},
    booktitle = {Proc. of CDC 2019: the 2019 IEEE Conference on Decision and Control},
    year = {2019},
    publisher = {IEEE},
    url = {https://publik.tuwien.ac.at/files/publik_282750.pdf},
    note = {talk: 2019 IEEE Conference on Decision and Control (CDC), Nice, France; 2019-12-11 -- 2019-12-13}
}


1 Datensatz ausgegeben