DOI,IST REx ID,Research Group,Title of publication
10.1145/3060139,471,ToHe,Faster statistical model checking for unbounded temporal properties
10.1145/3152769,467,"KrCh,ToHe",Nested weighted automata
10.1145/1042038.1042039,4454,,A classification of symbolic transition systems