Media from Cassting’s 2nd meeting

FoCAS Project Cassting held their second meeting in Aalborg, Denmark from 30th September – 1st October.

They’ve collected together many of the presentations for download, for example:

  • Simple strategies for Banach-Mazur games and fairly correct systems: Thomas Brihaye:
  • Algorithms for ATL with strategy contextsL: Nicolas Markey
  • On MITL and Alternating Timed Automata: Morgane Estiévenart
  • The HOME port platform: Thibalt Le Guilly
  • The floor-heating case studyL: Jesper Rosenkilde
  • Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games: Michael Randour
  • Mixed Nash equilibria in concurrent games: Daniel Stan
  • Symmetry reduction for games: Steen Vester

For full details of the meeting and to download presentations please visit the Cassting website