DOI,IST REx ID,Research Group,Title of publication
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.1609/aaai.v37i10.26407,14830,"ToHe,KrCh",Learning control policies for stochastic systems with reach-avoid guarantees
null,15023,"ToHe,KrCh",Compositional policy learning in stochastic control systems with formal guarantees
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.1007/978-3-031-37709-9_5,14317,KrCh,"MDPs as distribution transformers: Affine invariant synthesis for safety objectives"
10.3233/FAIA230264,14518,"ToHe,KrCh",Reachability poorman discrete-bidding games
10.15479/14539,14539,"KrCh,GradSch",Automated verification and control of infinite state stochastic systems
10.1007/978-3-031-45329-8_17,14559,"ToHe,KrCh","Learning provably stabilizing neural controllers for discrete-time stochastic systems"
10.1145/3585391,14778,KrCh,On lexicographic proof rules for probabilistic termination
10.1103/physreve.106.034321,12257,KrCh,Social balance on networks: Local minima and best-edge dynamics
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.1145/3519939.3523435,11459,"GradSch,KrCh",Differential cost analysis with simultaneous potentials and anti-potentials
10.1007/978-3-031-13185-1_4,12000,KrCh,"Sound and complete certificates for auantitative termination analysis of probabilistic programs"
10.4230/LIPIcs.FSTTCS.2022.29,12102,"KrCh,GradSch",Algorithms and hardness results for computing cores of Markov chains
10.1007/978-3-030-90870-6_33,10414,KrCh,On lexicographic proof rules for probabilistic termination
null,10665,"GradSch,ToHe",Scalable verification of quantized neural networks
10.1137/1.9781611976465.38,10694,"GradSch,KrCh",Infinite-duration all-pay bidding games