DOI,IST REx ID,Research Group,Title of publication
10.1145/3060139,471,ToHe,Faster statistical model checking for unbounded temporal properties