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

@inproceedings{TUW-265255,
    author = {Shmarov, Fedor and Paoletti, Nicola and Bartocci, Ezio and Li, Shan and Smolka, Scott A. and Zuliani, Paolo},
    title = {SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems},
    booktitle = {Proc. of HVC 2017: the 13th IBM Haifa Verification Conference},
    year = {2017},
    pages = {131--146},
    publisher = {Springer},
    address = {10629},
    doi = {10.1007/978-3-319-70389-3{\_}9},
    note = {talk: Proc. of HVC 2017: the 13th IBM Haifa Verification Conference, Haifa, Israel; 2017-11-15 -- 2017-11-17}
}


1 Datensatz ausgegeben