18 citations · 34 across the 12 of their papers we have counts for
5 papers · 1 filter
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…
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…
Fairness and promptness in Muller formulas
Damien Busatto-Gaston, Youssouf Oualhadj, Léo Tible +1
In this paper we consider two different views of the model checking problems for the Linear Temporal Logic (LTL). On the one hand, we consider the universal model checking problem…
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj +1
The window mechanism was introduced by Chatterjee et al. to strengthen classical game objectives with time bounds. It permits to synthesize system controllers that exhibit acceptab…
The Complexity of Concurrent Rational Synthesis
Rodica Condurache, Youssouf Oualhadj, Nicolas Troquard
In this paper, we investigate the rational synthesis problem for concurrent game structure for a variety of objectives ranging from reachability to Muller condition. We propose a n…