I.: Distributed games

Abstract. We propose a notion of distributed games as a framework to formalize and solve distributed synthesis problems. In general the prob-lem of solving distributed games is undecidable. We give two theorems allowing to simplify, and possibly to solve, some distributed games. We show how several approaches to distributed synthesis found in the liter-ature can be formalized and solved in the proposed setting.