75 citations
- Université Paris CitéFR54 papers
- Centre National de la Recherche ScientifiqueFR28 papers
- Délégation Paris 7FR9 papers
- Institut national de recherche en sciences et technologies du numériqueFR9 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR8 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR5 papers
- École Normale Supérieure de LyonFR4 papers
- Sorbonne UniversitéFR4 papers
- École PolytechniqueFR3 papers
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR3 papers
- Orange (France)FR3 papers
- Université de MontpellierFR3 papers
6 papers · 1 filter
Convergence to Equilibrium of Logit Dynamics for Strategic Games
Vincenzo Auletta, Diodato Ferraioli, Francesco Pasquale +2
We present the first general bounds on the mixing time of the Markov chain associated to the logit dynamics for wide classes of strategic games. The logit dynamics with inverse noi…
The complexity of approximate Nash equilibrium in congestion games with negative delays
Frederic Magniez, Michel de Rougemont, Miklos Santha +1
We extend the study of the complexity of finding an $\eps$-approximate Nash equilibrium in congestion games from the case of positive delay functions to delays of arbitrary sign. W…
How do we remember the past in randomised strategies?
Julien Cristau, Claire David, Florian Horn
Graph games of infinite length are a natural model for open reactive processes: one player represents the controller, trying to ensure a given specification, and the other represen…
Blackwell-Optimal Strategies in Priority Mean-Payoff Games
Hugo Gimbert, Wiesław Zielonka
We examine perfect information stochastic mean-payoff games - a class of games containing as special sub-classes the usual mean-payoff games and parity games. We show that determin…
The Complexity of Games on Higher Order Pushdown Automata
Thierry Cachat, Igor Walukiewicz
We prove an n-EXPTIME lower bound for the problem of deciding the winner in a reachability game on Higher Order Pushdown Automata (HPDA) of level n. This bound matches the known up…
Controller synthesis & Ordinal Automata
Thierry Cachat
Ordinal automata are used to model physical systems with Zeno behavior. Using automata and games techniques we solve a control problem formulated and left open by Demri and Nowak i…