Talks and Poster Presentations (with Proceedings-Entry):
A. Karimi, S. Stankovic, M. Moosbrugger, L. Kovacs, E. Bartocci, E. Bura:
"Distribution Estimation for Probabilistic Loops";
accepted as talk for: Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems,
Warsaw, Poland;
2022-09-12
- 2022-09-16; in: "Proc. of QEST'22: the 19th International Conference on Quantitative Evaluation of SysTems",
(2022).
Created from the Publication Database of the Vienna University of Technology.