Optimal Strategies in Infinite-state Stochastic Reachability Games

We consider perfect-information reachability stochastic games for 2 players on infinite graphs. We identify a subclass of such games, and prove two interesting properties of it: first, Player Max always has optimal strategies in games from this subclass, and second, these games are strongly determin...

Deskribapen osoa

Xehetasun bibliografikoak
Egile nagusia: Václav Brožek
Formatua: Artikulua
Hizkuntza:English
Argitaratua: Open Publishing Association 2011-06-01
Saila:Electronic Proceedings in Theoretical Computer Science
Sarrera elektronikoa:http://arxiv.org/pdf/1103.1065v3