Half-positionally determined winning conditions

Prelegent(ci)

Eryk Kopczynski

Afiliacja

Uniwersytet Warszawski

Termin

11 października 2006 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

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).

---