Zikelic D. 2023. Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/14539
DOI: 10.15479/14539