Winning a Tree Game

Tree games extend standard turn based games by introducing so-called branching positions. When a player reaches such position, game automatically splits into several independent and concurrently executed sub-games. Unfortunately, this behavior may deprive players of some information and, thus, cause indeterminacy (cf. Matteo Mio's PhD thesis, section 4.1).

In this talk, I will focus my attention on pure winning strategies, especially on how do decide (or force) their existence in games with regular objectives.