DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-37709-9_1,14758,ToHe,"A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties"
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
10.5281/ZENODO.8191723,15035,ToHe,Monitoring hyperproperties with prefix transducers
10.34727/2023/isbn.978-3-85448-060-0_20,14718,ToHe,Binary decision diagrams on modern hardware
10.1609/aaai.v37i5.25679,14243,"ToHe,KrCh",Bidding graph games with partially-observable budgets
null,15023,"ToHe,KrCh",Compositional policy learning in stochastic control systems with formal guarantees
10.4230/LIPIcs.CONCUR.2023.17,13221,"GradSch,ToHe",Safety and liveness of quantitative automata
10.1007/978-3-030-95561-8_1,10891,ToHe,Quantitative monitoring of software
10.1007/978-3-030-99429-7_1,11355,ToHe,Information-flow interfaces
10.48550/arXiv.2204.07373,11366,ToHe,Revisiting the adversarial robustness-accuracy tradeoff in robot learning
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