Accepted Papers

  • Asynchronous Announcements
    Hans van Ditmarsch
  • A plausibility model for regret games
    Federico Bobbio and Jianying Cui
  • Behavioural Strategies in Boolean Games
    Steve Nugent, Jonathan Philpott, Paul Harrenstein and Michael Wooldridge
  • Bisimulations for Knowing How Logics
    Raul Fervari, Fernando R. Velázquez-Quesada and Yanjing Wang
  • Bisimulations for Verifying Strategic Abilities Applied to Voting Protocols
    Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojtek Jamroga and Andrew Vaughan Jones
  • Deviator detection under imperfect monitoring
    Dietmar Berwanger and R. Ramanujam
  • Iterated Games with LDL Goals over Finite Traces
    Julian Gutierrez, Giuseppe Perelli and Michael Wooldridge
  • Minkowski games
    Stephane Le Roux, Arno Pauly and Jean-Francois Raskin
  • On the existence of weak subgame perfect equilibria
    Véronique Bruyère, Stephane Le Roux, Arno Pauly and Jean-Francois Raskin
  • Rationality principles in pure coordination games
    Valentin Goranko, Antti Kuusisto and Raine Rönnholm
  • The Complexity of Rational Synthesis
    Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini and Jean-Francois Raskin