1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2022
Careful Autonomous Agents in Environments With Multiple Common Resources
Rodica Condurache, Catalin Dima, Madalina Jitaru +2
Careful rational synthesis was defined in (Condurache et al. 2021) as a quantitative extension of Fisman et al.'s rational synthesis (Fisman et al. 2010), as a model of multi-agent…