DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:ISTA:12407,12407,ToHe,VAMOS: Middleware for Best-Effort Third-Party Monitoring
10.1007/978-3-031-30829-1_17,12467,"GradSch,ToHe",Quantitative safety and liveness
10.1007/978-3-031-30820-8_32,12854,ToHe,Bubaak: Runtime monitoring of program verifiers
10.1007/978-3-031-30826-0_15,12856,ToHe,Vamos: Middleware for best-effort third-party monitoring
10.4230/LIPIcs.CONCUR.2023.17,13221,"GradSch,ToHe",Safety and liveness of quantitative automata
10.1145/3593013.3594028,13228,ToHe,Runtime monitoring of dynamic fairness properties
10.1007/s10009-023-00711-4,13234,ToHe,Into the unknown: Active monitoring of neural networks (extended version)
10.4230/LIPIcs.ICALP.2023.129,13292,"GradSch,ToHe",Regular methods for operator precedence languages
10.1007/978-3-031-37703-7_17,13310,"GradSch,ToHe",Monitoring algorithmic fairness
10.1609/aaai.v37i10.26407,14830,"ToHe,KrCh",Learning control policies for stochastic systems with reach-avoid guarantees
10.46298/theoretics.23.4,14920,ToHe,Fast symbolic algorithms for mega-regular games under strong transition fairness
null,15023,"ToHe,KrCh",Compositional policy learning in stochastic control systems with formal guarantees
10.5281/ZENODO.8191723,15035,ToHe,Monitoring hyperproperties with prefix transducers
10.1007/978-3-031-44267-4_9,14076,ToHe,Monitoring hyperproperties with prefix transducers
10.1609/aaai.v37i12.26747,14242,"ToHe,KrCh",Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
10.1016/j.nahs.2023.101430,14400,ToHe,Symbolic control for stochastic systems via finite parity games
10.4230/LIPIcs.CONCUR.2023.21,14405,ToHe,Hypernode automata
10.1007/978-3-031-44267-4_15,14454,ToHe,Monitoring algorithmic fairness under partial observations
10.1007/978-3-031-45329-8_17,14559,"ToHe,KrCh","Learning provably stabilizing neural controllers for discrete-time stochastic systems"
10.34727/2023/isbn.978-3-85448-060-0_20,14718,ToHe,Binary decision diagrams on modern hardware