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

@inproceedings{TUW-304523,
    author = {Kofnov, Andrey and Moosbrugger, Marcel and Stankovic, Miroslav and Bartocci, Ezio and Bura, Efstathia},
    title = {Moment-based Invariants for Probabilistic Loops with non-polynomial assignments},
    booktitle = {Proc. of QEST'22: the 19th International Conference on Quantitative Evaluation of SysTems},
    year = {2022},
    note = {accepted for publication; talk: Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems, Warsaw, Poland; 2022-09-12 -- 2022-09-16}
}


1 Datensatz ausgegeben