DOI,IST REx ID,Research Group,Title of publication
10.15479/14539,14539,"KrCh,GradSch",Automated verification and control of infinite state stochastic systems