DOI,IST REx ID,Research Group,Title of publication
10.46298/lmcs-21(2:2)2025,20342,"GradSch,ToHe", Safety and liveness of quantitative properties and automata