Accepted Contributions


  • Laura Bozzelli, Bastien Maubert, and Sophie Pinchinat.
    The Complexity of Synthesizing Uniform Strategies.
  • Nils Bulling and Valentin Goranko.
    How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games.
  • Simon Busard, Charles Pecheur, Hongyang Qu, and Franco Raimondi.
    Reasoning about Strategies under Partial Observability and Fairness Constraints.
  • Benedikt Brütsch.
    Synthesizing Structured Reactive Programs via Deterministic Tree Automata.
  • Christophe Chareton, Julien Brunel, and David Chemouil.
    Towards an Updatable Strategy Logic.
  • Rayna Dimitrova and Bernd Finkbeiner.
    Lossy Channel Games under Incomplete Information.
  • Umberto Grandi, Andrea Loreggia, Francesca Rossi, K. Brent Venable, and Toby Walsh.
    Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency.
  • Dimitar Guelev.
    Reducing Validity in Epistemic ATL to Validity in Epistemic CTL.
  • Kristine Harjes and Pavel Naumov.
    Functional Dependence in Strategic Games.
  • Helene Kirchner.
    A Rewriting Point of View on Strategies.
  • Marta Kwiatkowska, David Parker, and Aistis Simaitis.
    Strategic Analysis of Trust Models for User-Centric Networks.
  • Soumya Paul and Nicholas Asher.
    Infinite Games with Uncertain Moves.
  • Truls Pedersen, Sjur Kristoffer Dyrkolbotn, Piotr Kaźmierczak, and Erik Parmann.
    Concurrent Game Structures with Roles.