DOI,IST REx ID,Research Group,Title of publication
10.1145/3009837.3009873,1194,KrCh,Stochastic invariants for probabilistic termination