DOI,IST REx ID,Research Group,Title of publication
10.1017/9781108770750.008,19986,KrCh,Termination Analysis of Probabilistic Programs with Martingales