Zikelic, Dorde. Automated Verification and Control of Infinite State Stochastic Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/14539.
LibreCat: https://research-explorer.ista.ac.at/record/14539
DOI: 10.15479/14539