Dice Question Streamline Icon: https://streamlinehq.com

Kopczyński-type union closure remains open beyond ω-regular objectives

Ascertain whether the union of two prefix-independent positional objectives is positional in full generality, i.e., for arbitrary (not necessarily ω-regular) objectives over infinite games.

Information Square Streamline Icon: https://streamlinehq.com

Background

While the paper settles the union closure (in a stronger form) for ω-regular objectives when one operand is prefix-independent, the authors note that the general version for arbitrary objectives remains unresolved.

References

"Kopczyński's conjecture" and its stronger version in which only one of the objectives is supposed to by "prefix-independent" remain open for arbitrary objectives.

Positional $ω$-regular languages (2401.15384 - Casares et al., 27 Jan 2024) in Section 3: Positionality of ω-regular objectives – after Lemma on Eve-games union