DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-032-26220-2_11,22006,ToHe,"Quantitative monitoring of Signal First-Order logic"
10.1145/3737447,21012,ToHe,Certificates in AI: Learn but verify
10.15479/AT-ISTA-21401,21401,"GradSch,ToHe",Privacy-preserving runtime verification
10.5220/0014483200004052,22103,ToHe,Explaining decisions one conversation at a time: Opportunities and risks of LLMs as explainability assistants
10.1017/9781009500678.022,22300,ToHe,Bidding Games
10.5220/0014326500004052,22294,ToHe,Machine unlearning using forgetting neural networks
10.1145/3805689.3806807,22321,ToHe,Energy shields for fairness
10.4230/LIPIcs.LICS.2026.23,22617,ToHe,Dicey games: Shared sources of randomness in distributed systems
10.1017/etds.2026.10324,22406,"ToHe,GradSch",Transcendence for Pisot morphic words over an algebraic base
10.1007/978-3-032-32519-8_12,22717,"ToHe,GradSch","Randomise alone, reach as a team"
10.1007/978-3-032-32519-8_13,22719,ToHe,"Decoupled planning for multiple omega-regular objectives"
10.1007/978-3-032-32526-6_20,22754,ToHe,"Extending QuAK with nested quantitative automata"
10.4230/LIPIcs.CONCUR.2026.13,22920,"GradSch,KrCh,ToHe",Generalized bidding games: Where bidding and stochastic games meet
10.4230/LIPIcs.CONCUR.2026.12,22919,"GradSch,KrCh,ToHe",PAC learning in turn-based stochastic games with reachability objectives: A decentralized private approach via expected conditional distance
10.15479/AT-ISTA-22808,22808,"GradSch,ToHe",Monitoring algorithmic fairness in sequential decision making
10.4230/LIPIcs.CONCUR.2026.22,22921,"ToHe,GradSch",Monitoring discounted sum properties
10.4230/LIPIcs.CONCUR.2026.6,22922,"KrCh,ToHe",A look back at strategy logic
10.1016/j.iswa.2026.200729,22999,ToHe,Shielded reinforcement learning for industrial applications: A systematic literature survey
10.18420/se2026_45,22622,ToHe,Off-the-Shelf cooperative software verification by splitting programs dynamically
10.1007/s00236-025-00509-8,20866,ToHe,Hypernode automata