Deciding the Synthesis Problem for Hybrid Games Through Bisimulation.

Catalin Dima, Mariem Hammami, Youssouf Oualhadj, Rgine Laleau

Browse the full ICFEM paper archive.