GandALF 2010
Minori, (Amalfi coast),
Italy - 17-18 June 2010
Italy - 17-18 June 2010
First International Symposium on
Games, Automata, Logics and Formal Verification
How do we remember the past in randomised strategies?
Unitary Noise and the Mermin-GHZ Game
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions
On Modal Mu-Calculus over finite graphs with bounded strongly connected components
Formats of Winning Strategies for Six Types of Pushdown Games
Local Strategy Improvement for Parity Game Solving
Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking
Discounting in Games across Time Scales
Model-Checking an Alternating Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions
Begin, After, and Later: a maximal decidable Interval Temporal Logic
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas
Using Strategy Improvement to Stay Alive
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis
Blackwell-Optimal Strategies in Priority Mean-Payoff Games
Playing Muller Games in a Hurry
Imitation in Large Games