joint work with Michał Skrzypczak
- Speaker(s)
- Marcin Przybyłko
- Affiliation
- Uniwersytet Warszawski, University of New Caledonia
- Date
- April 20, 2016, 2:15 p.m.
- Room
- room 5870
- Seminar
- Seminar Automata Theory
A branching game is a game that produces trees instead of paths. This is achieved by introducing new type of positions -- branching positions -- that split the game into two independent sub-games. M.Mio defined such games and used them in conjunction with parity winning conditions, so called stochastic meta-parity games, to give game semantics to a variant of probabilistic $\mu$-calculus.
In our work, we consider a natural extension of stochastic meta-parity games in which the winning condition is not defined as a parity condition but as the membership to a regular language of trees. We call such games branching games with regular conditions and are interested in their determinacy and computional properties.
In this talk, I will recall the definition of a Branching Game, focus the attention to winning sets that can be represented as regular languages of trees, and discuss both the determinacy and computational complexity of deciding game values.
In our work, we consider a natural extension of stochastic meta-parity games in which the winning condition is not defined as a parity condition but as the membership to a regular language of trees. We call such games branching games with regular conditions and are interested in their determinacy and computional properties.
In this talk, I will recall the definition of a Branching Game, focus the attention to winning sets that can be represented as regular languages of trees, and discuss both the determinacy and computational complexity of deciding game values.