EPTCS 25 - GANDALF 2010
Angelo Montanari, Margherita Napoli, Mimmo Parente (Eds.): Proceedings First Symposium on Games, Automata, Logic, and Formal Verification. 2010 EPTCS 25 [ contents ]- Hugo Gimbert, Wieslaw Zielonka: Blackwell-Optimal Strategies in Priority Mean-Payoff Games. ... 7-21
- Julien Cristau, Claire David, Florian Horn: How do we remember the past in randomised strategies? ... 30-39
- Giovanna D'Agostino, Giacomo Lenzi: On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components. ... 55-71
- Davide Bresolin, Pietro Sala, Guido Sciavicco: Begin, After, and Later: a Maximal Decidable Interval Temporal Logic. ... 72-88
- Andreas Morgenstern, Klaus Schneider: Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis. ... 89-102
- Catalin Dima, Constantin Enea, Dimitar P. Guelev: Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions. ... 103-117
- Wladimir Fridman: Formats of Winning Strategies for Six Types of Pushdown Games. ... 132-145
- Christian Appold: Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking. ... 173-187
- Ivan Fialík: Unitary Noise and the Mermin-GHZ Game. ... 188-198
- Marco Bernardo: On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions. ... 199-213
- Davide Ancona, Giovanni Lagorio: Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas. ... 214-230
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team