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.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.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/s00236-025-00509-8,20866,ToHe,Hypernode automata
10.1145/3719027.3765137,21020,"ToHe,GradSch",Privacy-preserving runtime verification
10.4230/LIPICS.FSTTCS.2025.20,21089,ToHe,Flavors of quantifiers in hyperlogics
10.1007/978-3-032-05435-7_1,21090,ToHe,Algorithmic fairness: A runtime perspective
10.1007/978-3-032-05435-7_4,21091,ToHe,Formal verification of neural certificates done dynamically
10.1007/978-3-032-05435-7_9,21092,ToHe,Alignment monitoring
10.1007/978-3-032-05435-7_23,21093,ToHe,Monitoring hypernode logic over infinite domains
10.4230/lipics.fsttcs.2025.9,21281,"KrCh,GradSch",ε-stationary Nash equilibria in multi-player stochastic graph games
10.1007/s10703-024-00447-0,17094,ToHe,Information-flow interfaces
10.1609/aaai.v39i15.33719,19665,ToHe,Fairness shields: Safeguarding against biased decision makers
10.1609/aaai.v39i25.34840,19668,ToHe,Neural control and certificate repair via runtime monitoring
10.1007/978-3-031-90660-2_14,19739,ToHe,BUBAAK: Dynamic cooperative verification