DOI,IST REx ID,Research Group,Title of publication
10.1609/aaai.v37i12.26747,14242,"ToHe,KrCh",Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
10.1609/aaai.v37i5.25679,14243,"ToHe,KrCh",Bidding graph games with partially-observable budgets
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-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"
10.34727/2023/isbn.978-3-85448-060-0_20,14718,ToHe,Binary decision diagrams on modern hardware
10.1007/978-3-031-37709-9_1,14758,ToHe,"A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties"
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.CONCUR.2022.14,12508,ToHe,History-deterministic timed automata
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