default search action

combined dblp search
author search
venue search
publication search

ask others

2nd GandALF 2011: Minori, Italy

> Home > Conferences and Workshops > GandALF

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-0814
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-0814
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1228
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1228
Yoad Lustig, Moshe Y. Vardi:
Synthesis from Recursive-Components Libraries. 1-16
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1229
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1229
Christian Appold:
Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations. 17-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1230
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1230
Stefan Haar, Christian Kern, Stefan Schwoon:
Computing the Reveals Relation in Occurrence Nets. 31-44
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1231
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1231
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Automated Analysis of MUTEX Algorithms with FASE. 45-59
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1103-1065
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1103-1065
Václav Brozek:
Optimal Strategies in Infinite-state Stochastic Reachability Games. 60-73
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1232
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1232
Krishnendu Chatterjee, Nathanaël Fijalkow:
A reduction from parity games to simple stochastic games. 74-86
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1233
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1233
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli:
Opacity Issues in Games with Imperfect Information. 87-101
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1234
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1234
Makoto Tatsuta, Ferruccio Damiani:
Type Inference for Bimorphic Recursion. 102-115
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1235
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1235
Zhilin Wu:
A Decidable Extension of Data Automata. 116-130
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1236
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1236
Sten Grüner, Frank G. Radmacher, Wolfgang Thomas:
Connectivity Games over Dynamic Networks. 131-145
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1237
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1237
Martin Zimmermann:
Optimal Bounds in Parametric LTL Games. 146-161
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1239
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1239
Laura Bozzelli:
New results on pushdown module checking with imperfect information. 162-177
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1240
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1240
Rüdiger Ehlers, Bernd Finkbeiner:
Reactive Safety. 178-191
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1241
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1241
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco:
An Optimal Decision Procedure for MPNL over the Integers. 192-206
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1242
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1242
Markus Latte:
Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages. 207-221
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1243
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1243
Giacomo Lenzi:
On P-transitive graphs and applications. 222-236
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1244
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1244
Davide Bresolin, Marta Capiluppi:
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems. 237-249
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1245
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1245
Olga Tveretina, Daniel Funke:
Deciding Reachability for 3-Dimensional Multi-Linear Systems. 250-262
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1246
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1246
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.