Value iteration for simple stochastic games: stopping criterion and learning algorithm
From MaRDI portal
Publication:6041135
DOI10.1007/978-3-319-96145-3_36zbMath1511.91010arXiv1804.04901OpenAlexW2963112285MaRDI QIDQ6041135
Jan Křetínský, Julia Krämer, Edon Kelmendi, Maximilian Weininger
Publication date: 26 May 2023
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1804.04901
Stochastic games, stochastic differential games (91A15) Algorithmic game theory and complexity (91A68)
Related Items (8)
Automatic verification of concurrent stochastic systems ⋮ Value iteration for simple stochastic games: stopping criterion and learning algorithm ⋮ Symbolic verification and strategy synthesis for turn-based stochastic games ⋮ Fixpoint Theory -- Upside Down ⋮ Unnamed Item ⋮ Fixpoint theory -- upside down ⋮ Comparison of algorithms for simple stochastic games ⋮ Verification of multiplayer stochastic games via abstract dependency graphs
This page was built for publication: Value iteration for simple stochastic games: stopping criterion and learning algorithm
