DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS52264.2021.9470595,10004,KrCh,Stochastic processes with expected stopping time