DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-30829-1_17,12467,"GradSch,ToHe",Quantitative safety and liveness
10.4230/LIPIcs.CONCUR.2023.17,13221,"GradSch,ToHe",Safety and liveness of quantitative automata
10.4230/LIPIcs.ICALP.2023.129,13292,"GradSch,ToHe",Regular methods for operator precedence languages
10.1007/978-3-031-13188-2_6,12302,ToHe,FORQ-based language inclusion formal testing
10.1007/978-3-031-17196-3_11,11775,"GradSch,ToHe",Abstract monitors for quantitative specifications