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.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.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.4230/LIPIcs.CONCUR.2023.21,14405,ToHe,Hypernode automata
10.1007/978-3-031-42697-1_2,14411,ToHe,"Phenotype control of partially specified boolean networks"
10.1007/978-3-031-44267-4_15,14454,ToHe,Monitoring algorithmic fairness under partial observations
10.3233/FAIA230264,14518,"ToHe,KrCh",Reachability poorman discrete-bidding games
10.1007/978-3-031-45329-8_17,14559,"ToHe,KrCh","Learning provably stabilizing neural controllers for discrete-time stochastic systems"