DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.OPODIS.2023.11,15006,KrCh,On the convergence time in graphical games: A locality-sensitive approach
10.1137/1.9781611977554.ch173,12676,"GradSch,KrCh",Faster algorithm for turn-based stochastic games with bounded treewidth
10.1007/s10703-023-00411-4,12738,KrCh,Stochastic games with lexicographic objectives
10.1098/rspa.2022.0685,12787,KrCh,Coexistence times in the Moran process with environmental heterogeneity
10.1038/s41467-023-37817-x,12861,KrCh,Quantitative assessment can stabilize indirect reciprocity under imperfect information
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.1007/978-3-031-32733-9_26,13238,"KrPi,KrCh","Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation"
10.1038/s41467-023-39625-9,13258,KrCh,The effect of environmental information on evolution of cooperation in stochastic games
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.1007/978-3-031-37709-9_2,14318,KrCh,"Automated tail bound analysis for probabilistic recurrence relations"
10.4230/LIPIcs.MFCS.2023.15,14417,KrCh,Entropic risk for turn-based stochastic games
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.1098/rsif.2023.0355,14657,KrCh,Evolutionary dynamics of mutants that modify population structure
10.1007/978-3-031-47754-6_18,14736,"KrCh,KrPi","R2: Boosting liquidity in payment channel networks with online admission control"