DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-98679-6_2,20225,ToHe,"Supermartingale certificates for quantitative omega-regular verification and control"