_id,doi,title
15006,10.4230/LIPIcs.OPODIS.2023.11,On the convergence time in graphical games: A locality-sensitive approach
10770,10.1007/s13235-022-00425-3,Where do mistakes lead? A survey of games with incompetent players
14317,10.1007/978-3-031-37709-9_5,"MDPs as distribution transformers: Affine invariant synthesis for safety objectives"
14318,10.1007/978-3-031-37709-9_2,"Automated tail bound analysis for probabilistic recurrence relations"
14417,10.4230/LIPIcs.MFCS.2023.15,Entropic risk for turn-based stochastic games
14456,10.1007/978-3-031-43587-4_24,Shortest dominating set reconfiguration under token sliding
14518,10.3233/FAIA230264,Reachability poorman discrete-bidding games
14539,10.15479/14539,Automated verification and control of infinite state stochastic systems
14559,10.1007/978-3-031-45329-8_17,"Learning provably stabilizing neural controllers for discrete-time stochastic systems"
14657,10.1098/rsif.2023.0355,Evolutionary dynamics of mutants that modify population structure
14736,10.1007/978-3-031-47754-6_18,"R2: Boosting liquidity in payment channel networks with online admission control"
14778,10.1145/3585391,On lexicographic proof rules for probabilistic termination
14830,10.1609/aaai.v37i10.26407,Learning control policies for stochastic systems with reach-avoid guarantees
14990,10.5281/ZENODO.7548214,Artefact for: Correct Approximation of Stationary Distributions
15023,,Compositional policy learning in stochastic control systems with formal guarantees
13139,10.1007/978-3-031-30823-9_25,"Correct approximation of stationary distributions"
13142,10.1007/978-3-031-30823-9_1,A learner-verifier framework for neural network controllers and certificates of stochastic systems
13238,10.1007/978-3-031-32733-9_26,"Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation"
13258,10.1038/s41467-023-39625-9,The effect of environmental information on evolution of cooperation in stochastic games
13336,10.5281/ZENODO.8059564,kleshnina/stochgames_info: The effect of environmental information on evolution of cooperation in stochastic games