88 citations
- École Normale Supérieure Paris-SaclayFR90 papers
- Centre National de la Recherche ScientifiqueFR87 papers
- Institut national de recherche en sciences et technologies du numériqueFR29 papers
- Université Paris-SaclayFR16 papers
- Chennai Mathematical InstituteIN10 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR9 papers
- Institute of Science and Technology AustriaAT8 papers
- Université Libre de BruxellesBE7 papers
- Aalborg UniversityDK6 papers
- Université Paris CitéFR6 papers
- University of MonsBE6 papers
- Centre Inria de l'Université de RennesFR5 papers
11 papers · 1 filter
Nash equilibria in games over graphs equipped with a communication mechanism
Patricia Bouyer, Nathan Thomasset
We study pure Nash equilibria in infinite-duration games on graphs, with partial visibility of actions but communication (based on a graph) among the players. We show that a simple…
Observation and Distinction. Representing Information in Infinite Games
Dietmar Berwanger, Laurent Doyen
We compare two approaches for modelling imperfect information in infinite games by using finite-state automata. The first, more standard approach views information as the result of…
Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification
Patricia Bouyer, Andrea Orlandini, Pierluigi San Pietro
This volume contains the proceedings of the Eighth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2017). The symposium took place in Roma, Italy…
Perfect Half Space Games
Thomas Colcombet, Marcin Jurdziński, Ranko Lazić +1
We introduce perfect half space games, in which the goal of Player 2 is to make the sums of encountered multi-dimensional weights diverge in a direction which is consistent with a…
Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time
Marcin Jurdziński, Ranko Lazić, Sylvain Schmitz
We generalise the hyperplane separation technique (Chatterjee and Velner, 2013) from multi-dimensional mean-payoff to energy games, and achieve an algorithm for solving the latter…
Doomsday Equilibria for Omega-Regular Games
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot +1
Two-player games on graphs provide the theoretical frame- work for many important problems such as reactive synthesis. While the traditional study of two-player zero-sum games has…