DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS52264.2021.9470547,9356,"GradSch,ToHe",Quantitative and approximate monitoring