Deciding the Synthesis Problem for Hybrid Games Through Bisimulation. - Catalin Dima; Mariem Hammami; Youssouf Oualhadj; Régine Laleau (ICFEM, 2024)