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.1109/LRA.2023.3240930,12704,ToHe,Revisiting the adversarial robustness-accuracy tradeoff in robot learning
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.1093/bioinformatics/btad158,12876,ToHe,Boolean network sketches: A unifying framework for logical model inference
10.1007/978-3-031-30820-8_15,13141,ToHe,Computing adequately permissive assumptions for synthesis
10.1007/978-3-031-30823-9_1,13142,"KrCh,ToHe",A learner-verifier framework for neural network controllers and certificates of stochastic systems
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.1093/bioinformatics/btad262,13263,ToHe,"Trap spaces of multi-valued networks: Definition, computation, and applications"
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
10.5281/ZENODO.7877790,14994,ToHe,A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
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