48 citations · 241 across the 30 of their papers we have counts for
4 papers · 1 filter
Average-energy games (full version)
Patricia Bouyer, Nicolas Markey, Mickael Randour +2
Two-player quantitative zero-sum games provide a natural framework to synthesize controllers with performance guarantees for reactive systems within an uncontrollable environment.…
ATLsc with partial observation
François Laroussinie, Nicolas Markey, Arnaud Sangnier
Alternating-time temporal logic with strategy contexts (ATLsc) is a powerful formalism for expressing properties of multi-agent systems: it extends CTL with strategy quantifiers, o…
Average-energy games
Patricia Bouyer, Nicolas Markey, Mickael Randour +2
Two-player quantitative zero-sum games provide a natural framework to synthesize controllers with performance guarantees for reactive systems within an uncontrollable environment.…
Pure Nash Equilibria in Concurrent Deterministic Games
Patricia Bouyer, Romain Brenguier, Nicolas Markey +1
We study pure-strategy Nash equilibria in multi-player concurrent deterministic games, for a variety of preference relations. We provide a novel construction, called the suspect ga…