1st Cassting Workshop ETAPS 2014

Cassting is a European research project funded by the European Commission under the FP7 for Information and Communication Technology. The objective of Cassting is to develop a novel approach for analysing and designing collective adaptive systems in their totality, by setting up a game theoretic framework. Currently, most of the games played on graphs are of the sort “two-player zero-sum”, we aim to extend them to “multiple-player non-zero-sum”, and show the applicability of the new theory to the analysis and synthesis of interactive computational systems.

This 1st Cassting workshop continues the line of GASICS workshops. The aim of this workshop is to bring together researchers working on game-related subjects, and to discuss on various aspects of game theory in the fields where it is applied. The workshop will be composed of two invited talks, together with contributed talks on the following (non-exhaustive) list of relevant topics:

  1. Adapted notions of games for synthesis of complex interactive computational systems
  2. Games played on complex and infinite graphs
  3. Games with quantitative objectives
  4. Game with incomplete information and over dynamic structures
  5. Heuristics for efficient game solving.

Invited speakers

  • John Fearnley (U. Liverpool)
    Finding Nash equilibria in bimatrix games[showhide more_text=”show abstract” less_text=”hide abstract”]

    Abstract: I will give an overview of the current state of the art for finding Nash equilibria in bimatrix games. I will discuss the hardness results for finding exact Nash equilibria, and I will talk about the current best polynomial-time algorithms for finding approximate Nash
    equilibria.

    I will also talk about the Lemke-Howson algorithm, which is a classical pivoting method for finding exact Nash equilibria. I will discuss how this algorithm has been adapted to solve games that arise
    in the context of verification, namely parity games.

    [/showhide]

  • Nicolas Gast (EPFL)
    Efficiency and Prices in Real-Time Electricity Markets[showhide more_text=”show abstract” less_text=”hide abstract”]

    Abstract: Electricity networks are evolving. On the one hand, the generation becomes more volatile and less dispatchable because of renewable energies, like solar or wind. On the other hand, communication capabilities makes possible a real-time control of the consumption, via real-time prices or congestion signal mechanisms.

    In this talk, I will review some results that concern real-time electricity markets. I will question the assumption that a free and honest market would lead to an optimal use of the generation and storage. I will show how virtual prices can be used to build decentralized allocation schemes. Our solution relies on tools from stochastic optimization and lagrangian decomposition.

    [/showhide]


Programme

Saturday, 12th April 2014
9:30 – 10:30 Invited talk: Nicolas Gast
Efficiency and Prices in Real-Time Electricity Markets
10:30 – 11:00 Coffee
11:00 – 12:30 Efficient computation of succinct strategies, with applications to real-time scheduler synthesis
Gilles Geeraerts, Joël Goossens, Amélie Stainer
Robust Strategies in Timed Games
Youssouf Oualhadj, Pierre-Alain Reynier, Ocan Sankur
Weighted Timed Games: Positive Results with Negative Costs
Benjamin Monmege, Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
12:30 – 14:00 Lunch
14:00 – 15:00 Invited talk: John Fearnley
Finding Nash equilibria in bimatrix games
15:00 – 16:00 k-fault tolerant Nash equilibria
Patricia Bouyer, Thomas Brihaye, Quentin Hautem, Nicolas Markey
Secure Equilibria in Weighted Games
Véronique Bruyère, Noémie Meunier, Jean-François Raskin
16:00 – 16:30 Coffee break
16:30 – 17:30 Buffered Simulation Games for Büchi Automata
Milka Hutagalung, Martin Lange, Étienne Lozes
Distributed synthesis with delayed signals
Dietmar Berwanger, Marie van den Bogaard

Organizers

Kim G. Larsen (Aalborg University, Denmark)
Doron Peled (Bar Ilan University, Israel)
Nicolas Markey (LSV/CNRS, France)

Venue

The workshop will be held as part of the ETAPS’14, in Grenoble. The conference takes place between April 5th and April 13th, 2014. The Cassting workshop will take place on April 12th, 2014.
More information here