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