You are not logged in | Log in

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