32 citations · 172 across the 29 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.GT2017
Parameterized complexity of games with monotonically ordered ω-regular objectives
Véronique Bruyère, Quentin Hautem, Jean-François Raskin
In recent years, two-player zero-sum games with multiple objectives have received a lot of interest as a model for the synthesis of complex reactive systems. In this framework, Pla…
cs.GT2017
Computer aided synthesis: a game theoretic approach
Véronique Bruyère
In this invited contribution, we propose a comprehensive introduction to game theory applied in computer aided synthesis. In this context, we give some classical results on two-pla…