DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-65633-0_16,17402,KrCh,"Playing games with your PET: Extending the Partial Exploration Tool to stochastic games"
10.1016/j.ic.2024.105214,17474,KrCh,Entropic risk for turn-based stochastic games
10.1007/978-3-031-71162-6_31,18155,KrCh,"Sound and complete witnesses for template-based verification of LTL properties on polynomial programs"
10.24963/ijcai.2024/1,18159,KrCh,Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties
10.24963/ijcai.2024/741,18160,KrCh,Solving long-run average reward robust MDPs via stochastic games
10.1145/3662158.3662769,17328,"KrCh,KrPi",Fully automated selfish mining analysis in efficient proof systems blockchains
10.1371/journal.pcbi.1012008,15297,KrCh,Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating
10.1073/pnas.2405605121,18703,KrCh,Density amplifiers of cooperation for spatial games
10.1287/moor.2022.0332,18266,"GradSch,KrCh",Value-positivity for matrix games
10.46298/lmcs-20(4:11)2024,18630,KrCh,Stochastic processes with expected stopping time
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.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.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.v37i12.26747,14242,"ToHe,KrCh",Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
10.1007/978-3-031-37709-9_5,14317,KrCh,"MDPs as distribution transformers: Affine invariant synthesis for safety objectives"