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.1371/journal.pone.0279838,12706,KrCh,Empirical parameterisation and dynamical analysis of the allometric Rosenzweig-MacArthur equations
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.46298/DMTCS.8383,12833,"KrCh,HeEd,UlWa",Token swapping on trees
10.1038/s41467-023-37817-x,12861,KrCh,Quantitative assessment can stabilize indirect reciprocity under imperfect information
10.1007/978-3-031-30823-9_25,13139,KrCh,"Correct approximation of stationary distributions"
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.5281/ZENODO.8059564,13336,KrCh,kleshnina/stochgames_info: 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
10.5281/ZENODO.7548214,14990,KrCh,Artefact for: Correct Approximation of Stationary Distributions
null,15023,"ToHe,KrCh",Compositional policy learning in stochastic control systems with formal guarantees
10.1109/LICS56636.2023.10175771,13967,KrCh,Stopping criteria for value iteration on stochastic games with quantitative objectives
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-37706-8_20,14259,KrCh,"Guessing winning policies in LTL synthesis by semantic learning"
10.1007/978-3-031-37709-9_5,14317,KrCh,"MDPs as distribution transformers: Affine invariant synthesis for safety objectives"