DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-11245-5_22,5948,KrCh,Termination of nondeterministic probabilistic programs