DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS52264.2021.9470739,10002,KrCh,Symbolic time and space tradeoffs for probabilistic verification