Catalin Dima, Mariem Hammami, Youssouf Oualhadj, Régine Laleau. Deciding the Synthesis Problem for Hybrid Games Through Bisimulation. In Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu, editors, Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings. Volume 15394 of Lecture Notes in Computer Science, pages 181-198, Springer, 2024. [doi]
Abstract is missing.