Deciding Maxmin Reachability in Half-Blind Stochastic Games
Two-player, turn-based, stochastic games with reachability conditions are considered, where the maximizer has no information (he is blind) and is restricted to deterministic strategies whereas the minimizer is perfectly informed. We ask the question of whether the game has maxmin value of 1 in other words we ask whether for all \(\epsilon >0\) there exists a deterministic strategy for the (blind) maximizer such that against all the strategies of the minimizer, it is possible to reach the set of final states with probability larger than \(1-\epsilon \). This problem is undecidable in general, but we define a class of games, called leaktight half-blind games where the problem becomes decidable. We also show that mixed strategies in general are stronger for both players and that optimal strategies for the minimizer might require infinite-memory.
- 6.Chatterjee, K., Tracol, M.: Decidable problems for probabilistic automata on infinite words. In: 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS), vol. 2, pp. 185–194. IEEE (2012)Google Scholar
- 10.Fijalkow, N.: Profinite techniques for probabilistic automata and the optimality of the markov monoid algorithm. CoRR, abs/1501.02997 (2015)Google Scholar
- 11.Fijalkow, N., Gimbert, H., Kelmendi, E., Oualhadj, Y: Deciding the value 1 problem for probabilistic leaktight automata. Logical Methods Comput. Sci. 11(2) (2015)Google Scholar
- 12.Fijalkow, N., Gimbert, H., Oualhadj, Y.: Deciding the value 1 problem for probabilistic leaktight automata. In: LICS, pp. 295–304. IEEE Computer Society (2012)Google Scholar
- 14.Gimbert, H., Renault, J., Sorin, S., Venel, X., Zielonka, W.: On the values of repeated games with signals. CoRR, abs/1406.4248 (2014)Google Scholar
- 15.Kelmendi, E., Gimbert, H.: Deciding maxmin reachability in half-blind stochastic games. CoRR, abs/1605.07753 (2016). http://arxiv.org/abs/1605.07753