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