Accepted Contributions
-
Benjamin Aminof and Sasha Rubin.
Cycle Games.
-
Guillaume Aucher, Bastien Maubert, and Sophie Pinchinat.
Automata Techniques for Epistemic Protocol Synthesis.
-
Francesco Belardinelli.
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic.
-
Dietmar Berwanger and Anup Basil Mathew.
Games with Recurring Certainty.
-
Piero Bonatti, Marco Faella, and Luigi Sauro.
Partial Preferences for Mediated Bargaining.
-
Patricia Bouyer, Nicolas Markey, and Steen Vester.
Nash Equilibria in Symmetric Games with Partial Observation.
-
Véronique Bruyère, Emmanuel Filiot, Mickael Randour and Jean-Francois Raskin.
Expectations or Guarantees? I Want It All! A Crossroad Between Games and MDPs.
-
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, and Jean-Francois Raskin.
Doomsday Equilibria for Omega-Regular Games.
-
Lluis Godo and Enrico Marchioni.
Games for the Strategic Influence of Expectations.
-
Dimitar Guelev.
Refining and Delegating Strategic Ability in ATL.
-
Xiaowei Huang and Ron van der Meyden.
An Epistemic Strategy Logic.
-
Wojtek Jamroga, Matthijs Melissen, and Henning Schnoor.
Defendable Security in Interaction Protocols.
-
Xiang Jiang and Arno Pauly.
Decomposing Bimatrix Games.
-
Clàudia Nalon, Lan Zhang, Clare Dixon, and Ullrich Hustadt.
A Resolution Prover for Coalition Logic.*
(*formerly, A Resolution Calculus for Coalition Logics.)