DOI,IST REx ID,Research Group,Title of publication
10.5281/zenodo.10065866,23183,ToHe,Bubaak at SV-COMP 2024
10.1007/978-3-030-95561-8_1,10891,ToHe,Quantitative monitoring of software
10.1109/ICRA46639.2022.9811650,12010,ToHe,Latent imagination facilitates zero-shot transfer in autonomous racing
10.1038/s42256-022-00556-7,12147,ToHe,Closed-form continuous-time neural networks
10.1007/978-3-031-19992-9_22,12171,ToHe,"Synthesis of parametric hybrid automata from time series"
10.1007/978-3-031-19135-0_5,12175,ToHe,History-deterministic timed automata are not determinizable
10.1007/978-3-031-13188-2_6,12302,ToHe,FORQ-based language inclusion formal testing
10.4230/LIPIcs.MFCS.2022.3,12509,ToHe,An updated survey of bidding games on graphs
10.1609/aaai.v36i6.20631,12510,ToHe,GoTube: Scalable statistical verification of continuous-depth models
10.1609/aaai.v36i7.20695,12511,"ToHe,KrCh",Stability verification in stochastic control systems via neural network supermartingales
10.48550/ARXIV.2210.05308,14600,"KrCh,ToHe",Learning control policies for stochastic systems with reach-avoid guarantees
10.48550/arXiv.2205.11991,14601,"KrCh,ToHe",Learning stabilizing policies in stochastic control systems
10.1007/978-3-030-94583-1_1,10774,ToHe,Flavors of sequential information flow
10.1007/978-3-031-17196-3_11,11775,"GradSch,ToHe",Abstract monitors for quantitative specifications
10.48550/arXiv.2204.07373,11366,ToHe,Revisiting the adversarial robustness-accuracy tradeoff in robot learning
10.15479/at:ista:11362,11362,"GradSch,ToHe",Learning verifiable representations
10.1007/978-3-030-99429-7_1,11355,ToHe,Information-flow interfaces
10.4230/LIPIcs.CONCUR.2022.14,12508,ToHe,History-deterministic timed automata
10.1007/978-3-030-88494-9_12,10108,ToHe,Differential monitoring
10.1145/3485504,10153,ToHe,Transitioning from structural to nominal code with efficient gradual typing