EPTCS 54 - GandALF 2011
Giovanna D'Agostino, Salvatore La Torre (Eds.):
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification.
EPTCS 54 2011 
- Yoad Lustig, Moshe Y. Vardi:
Synthesis from Recursive-Components Libraries.
1-16
- Christian Appold:
Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations.
17-30
- Stefan Haar, Christian Kern, Stefan Schwoon:
Computing the Reveals Relation in Occurrence Nets.
31-44
- Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Automated Analysis of MUTEX Algorithms with FASE.
45-59
- Václav Brozek:
Optimal Strategies in Infinite-state Stochastic Reachability Games.
60-73
- Krishnendu Chatterjee, Nathanaël Fijalkow:
A reduction from parity games to simple stochastic games.
74-86
- Bastien Maubert, Sophie Pinchinat, Laura Bozzelli:
Opacity Issues in Games with Imperfect Information.
87-101
- Makoto Tatsuta, Ferruccio Damiani:
Type Inference for Bimorphic Recursion.
102-115
- Zhilin Wu:
A Decidable Extension of Data Automata.
116-130
- Sten Grüner, Frank G. Radmacher, Wolfgang Thomas:
Connectivity Games over Dynamic Networks.
131-145
- Martin Zimmermann:
Optimal Bounds in Parametric LTL Games.
146-161
- Laura Bozzelli:
New results on pushdown module checking with imperfect information.
162-177
- Rüdiger Ehlers, Bernd Finkbeiner:
Reactive Safety.
178-191
- Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco:
An Optimal Decision Procedure for MPNL over the Integers.
192-206
- Markus Latte:
Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages.
207-221
- Giacomo Lenzi:
On P-transitive graphs and applications.
222-236
- Davide Bresolin, Marta Capiluppi:
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems.
237-249
- Olga Tveretina, Daniel Funke:
Deciding Reachability for 3-Dimensional Multi-Linear Systems.
250-262
- Massimo Benerecetti, Marco Faella, Stefano Minopoli:
Towards Efficient Exact Synthesis for Linear Hybrid Systems.
263-277
Last update Sat May 25 01:48:39 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
