Half-positionally determined winning conditions

Speaker(s)

Eryk Kopczynski

Affiliation

Uniwersytet Warszawski

Date

Oct. 11, 2006, 2:15 p.m.

Room

room 5870

Seminar

Seminar Automata Theory

---

Basic definitions: games, half-positional determinacy. - Half-positional winning conditions and omega-regular languages. How to check whether the given omega-regular winning condition is finitely half-positional? - Positional/suspendable conditions (PS). Definitions and examples. Half-positional determinacy of a countable union on PS conditions, and of the winning conditions in the class XPS (extended positional/suspendable conditions).

---