Stochastic game logic Christel BaierTomáš BrázdilAntonín Kučera Original Article 06 June 2012 Pages: 203 - 224
First-order logics: some characterizations and closure properties Christian ChoffrutAndreas MalcherBeatrice Palano Original Article 19 May 2012 Pages: 225 - 248
On timed alternating simulation for concurrent timed games Laura BozzelliAxel LegaySophie Pinchinat Original Article 08 June 2012 Pages: 249 - 279