GANDALF

Keyphrases

Publications

2010

Giovanna D'Agostino, Giacomo Lenzi
On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components GANDALF (2010)
John Fearnley, Martin Zimmermann
Playing Muller Games in a Hurry GANDALF (2010)
Davide Ancona, Giovanni Lagorio
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas GANDALF (2010)
Ivan Fialík
Unitary Noise and the Mermin-GHZ Game GANDALF (2010)
Catalin Dima, Constantin Enea, Dimitar P. Guelev
Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions GANDALF (2010)
Krishnendu Chatterjee, Rupak Majumdar
Discounting in Games across Time Scales GANDALF (2010)
Christian Appold
Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking GANDALF (2010)
Marco Bernardo
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions GANDALF (2010)
Davide Bresolin, Pietro Sala, Guido Sciavicco
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic GANDALF (2010)
Lubos Brim, Jakub Chaloupka
Using Strategy Improvement to Stay Alive GANDALF (2010)
Oliver Friedmann, Martin Lange
Local Strategy Improvement for Parity Game Solving GANDALF (2010)
Julien Cristau, Claire David, Florian Horn
How do we remember the past in randomised strategies? GANDALF (2010)
Andreas Morgenstern, Klaus Schneider
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis GANDALF (2010)
Soumya Paul, Ramaswamy Ramanujam
Imitation in Large Games GANDALF (2010)
Wladimir Fridman
Formats of Winning Strategies for Six Types of Pushdown Games GANDALF (2010)
Hugo Gimbert, Wieslaw Zielonka
Blackwell-Optimal Strategies in Priority Mean-Payoff Games GANDALF (2010)

volume 25, 2010

Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010. GANDALF 25 (2010)