DOI,IST REx ID,Research Group,Title of publication
10.1145/3371093,8324,KrCh,Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time