DOI,IST REx ID,Research Group,Title of publication
10.1145/3158122,325,KrCh,Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs