18 citations · 34 across the 12 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
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…
cs.GT2024★ 1 cited
Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards
Benoît Barbot, Damien Busatto-Gaston, Catalin Dima +1
We consider the synthesis problem on timed automata with Büchi objectives, where delay choices made by a controller are subjected to small perturbations. Usually, the controller ne…