On the Determinacy of Concurrent Games on Event Structures with Infinite Winning Sets
Abstract
We consider nondeterministic concurrent games played on event structures and study their determinacy problem---the existence of winning strategies. It is known that when the winning conditions of the games are characterized by a collection of finite winning sets/plays, a restriction (called race-freedom) on the boards where the games are played guarantees determinacy. However the games may no longer be determined when the winning sets are infinite. This paper provides a study of concurrent games and nondeterministic winning strategies by analysing conditions that ensure determinacy when infinitely many events are played, that is, when the winning sets are infinite.