default search action

combined dblp search
author search
venue search
publication search

ask others

1st GandALF 2010: Minori (Amalfi Coast), 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-1006-1711
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1711
Angelo Montanari, Margherita Napoli, Mimmo Parente:
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010. EPTCS 25, 2010
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1402
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1402
Hugo Gimbert, Wieslaw Zielonka:
Blackwell-Optimal Strategies in Priority Mean-Payoff Games. 7-21
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1403
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1403
Krishnendu Chatterjee, Rupak Majumdar:
Discounting in Games across Time Scales. 22-29
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1404
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1404
Julien Cristau, Claire David, Florian Horn:
How do we remember the past in randomised strategies? 30-39
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1405
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1405
Lubos Brim, Jakub Chaloupka:
Using Strategy Improvement to Stay Alive. 40-54
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1406
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1406
Giovanna D'Agostino, Giacomo Lenzi:
On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components. 55-71
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1407
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1407
Davide Bresolin, Pietro Sala, Guido Sciavicco:
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic. 72-88
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1408
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1408
Andreas Morgenstern, Klaus Schneider:
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis. 89-102
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1414
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1414
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1409
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1409
Oliver Friedmann, Martin Lange:
Local Strategy Improvement for Parity Game Solving. 118-131
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1415
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1415
Wladimir Fridman:
Formats of Winning Strategies for Six Types of Pushdown Games. 132-145
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1410
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1410
John Fearnley, Martin Zimmermann:
Playing Muller Games in a Hurry. 146-161
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-2992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-2992
Soumya Paul, Ramaswamy Ramanujam:
Imitation in Large Games. 162-172
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1416
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1416
Christian Appold:
Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking. 173-187
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1411
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1411
Ivan Fialík:
Unitary Noise and the Mermin-GHZ Game. 188-198
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1412
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1412
Marco Bernardo:
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions. 199-213
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-1413
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-1413
Davide Ancona, Giovanni Lagorio:
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas. 214-230

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.