Deciding the synthesis problem for hybrid games through bisimulation

Catalin Dima, Mariem Hammami, Youssouf Oualhadj +1

Hybrid games are games played on a finite graph endowed with real variables which may model behaviors of discrete controllers of continuous systems. The synthesis problem for hybri…