This paper considers the problem of co-synthesis in k-player games over a finite graph
where each player has an individual ω-regular specification ϕ i. In this context, a secure …