Comparison of algorithms for simple stochastic games

Simple stochastic games are turn-based 2½-player zero-sum graph games with a reachability objective. The problem is to compute the winning probabilities as well as the optimal strategies of both players. In this paper, we compare the three known classes of algorithms – value iteration, strategy iter...

Celý popis

Podrobná bibliografie

Vydáno v:	Information and computation Ročník 289; s. 104885
Hlavní autoři:	Křetínský, Jan, Ramneantu, Emanuel, Slivinskiy, Alexander, Weininger, Maximilian
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.11.2022
Témata:	Algorithms Formal methods Probabilistic verification Quadratic programming Stochastic games Strategy iteration Value iteration Stochastic games Strategy iteration Algorithms Probabilistic verification Value iteration Formal methods Quadratic programming
ISSN:	0890-5401, 1090-2651
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!