1. Stochastic game logic

   • Christel Baier
   • Tomáš Brázdil
   • Antonín Kučera

   Original Article 06 June 2012 Pages: 203 - 224

2. First-order logics: some characterizations and closure properties

   • Christian Choffrut
   • Andreas Malcher
   • Beatrice Palano

   Original Article 19 May 2012 Pages: 225 - 248

3. On timed alternating simulation for concurrent timed games

   • Laura Bozzelli
   • Axel Legay
   • Sophie Pinchinat

   Original Article 08 June 2012 Pages: 249 - 279