Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:10.15479/14539