Concurrent Games with Multiple Topologies

Shaull Almagor, Shai Guendelman

Concurrent multi-player games with $\omega$-regular objectives are a standard model for systems that consist of several interacting components, each with its own objective. The standard…