default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd GandALF 2011: Minori, Italy
- Giovanna D'Agostino, Salvatore La Torre:
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-07 21:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
