40 citations · 47 across the 4 of their papers we have counts for
4 papers
Bounding Average-energy Games
Patricia Bouyer, Piotr Hofman, Nicolas Markey +2
We consider average-energy games, where the goal is to minimize the long-run average of the accumulated energy. While several results have been obtained on these games recently, de…
Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games
Patricia Bouyer, Nicolas Markey, Daniel Stan
We study the existence of mixed-strategy equilibria in concurrent games played on graphs. While existence is guaranteed with safety objectives for each player, Nash equilibria need…
Quantified CTL: Expressiveness and Complexity
François Laroussinie, Nicolas Markey
While it was defined long ago, the extension of CTL with quantification over atomic propositions has never been studied extensively. Considering two different semantics (depending…
Nash Equilibria in Symmetric Games with Partial Observation
Patricia Bouyer, Nicolas Markey, Steen Vester
We investigate a model for representing large multiplayer games, which satisfy strong symmetry properties. This model is made of multiple copies of an arena; each player plays in h…