DOI,IST REx ID,Research Group,Title of publication
10.1145/3174800,5993,KrCh,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs