A Retraction Theorem for Distributed Synthesis

Dietmar Berwanger, Anup Basil Mathew, R. Ramanujam

We present a general theorem for distributed synthesis problems in coordination games with $\omega$-regular objectives of the form: If there exists a winning strategy for the coalition,…