Half positionality is the property of a language of infinite words to admit positional winning strategies, when interpreted
as the goal of a two-player game on a graph. Such problem applies to the automatic synthesis of controllers, where positional
strategies represent efficient controllers. As our main result, we describe a novel sufficient condition for half positionality,
more general than what was previously known. Moreover, we compare our proposed condition with several others, proposed in
the recent literature, outlining an intricate network of relationships, where only few combinations are sufficient for half
positionality.
Work partially supported by MIUR PRIN Project n.2007-9E5KM8.