DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CONCUR.2026.22,22921,"ToHe,GradSch",Monitoring discounted sum properties