_id,doi,title
15006,10.4230/LIPIcs.OPODIS.2023.11,On the convergence time in graphical games: A locality-sensitive approach
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
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
15023,,Compositional policy learning in stochastic control systems with formal guarantees
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
14242,10.1609/aaai.v37i12.26747,Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
14243,10.1609/aaai.v37i5.25679,Bidding graph games with partially-observable budgets
12676,10.1137/1.9781611977554.ch173,Faster algorithm for turn-based stochastic games with bounded treewidth
12738,10.1007/s10703-023-00411-4,Stochastic games with lexicographic objectives
12787,10.1098/rspa.2022.0685,Coexistence times in the Moran process with environmental heterogeneity