Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

4th GandALF 2013: Borca di Cadore, Dolomites, 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/PuppisV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PuppisV13
Gabriele Puppis, Tiziano Villa:
Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013. EPTCS 119, 2013
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GazdaW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GazdaW13
Maciej Gazda, Tim A. C. Willemse:
Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds. 7-20
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1304-5438
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-5438
Thomas Brihaye, Quentin Menet:
Fairly Correct Systems: Beyond omega-regularity. 21-34
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HuthKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HuthKP13
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
The Rabin index of parity games. 35-49
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Reynolds13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Reynolds13
Mark Reynolds:
A Faster Tableau for CTL. 50-63
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BersaniRP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BersaniRP13
Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro:
Deciding the Satisfiability of MITL Specifications. 64-78
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Bresolin13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Bresolin13
Davide Bresolin:
Improving HyLTL model checking of hybrid systems. 79-92
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1305-4288
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-4288
Pietro Galliani:
Upwards Closed Dependencies in Team Semantics. 93-106
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FogartyKVW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FogartyKVW13
Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke:
Profile Trees for Büchi Word Automata, with Application to Determinization. 107-121
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LabaiM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LabaiM13
Nadia Labai, Johann A. Makowsky:
Weighted Automata and Monadic Second Order Logic. 122-135
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChatterjeeHKL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChatterjeeHKL13
Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Veronika Loitzenbauer:
Approximating the minimum cycle mean. 136-149
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PierroW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PierroW13
Alessandra Di Pierro, Herbert Wiklicky:
Probabilistic data flow analysis: a linear equational approach. 150-165
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Dimovski13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Dimovski13
Aleksandar S. Dimovski:
Slot Games for Detecting Timing Leaks of Programs. 166-179
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1305-5050
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-5050
Krzysztof R. Apt, Sunil Simon:
Social Network Games with Obligatory Product Selection. 180-193
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Vester13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Vester13
Steen Vester:
Alternating-time temporal logic with finite-memory strategies. 194-207
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LaroussinieM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LaroussinieM13
François Laroussinie, Nicolas Markey:
Satisfiability of ATL with strategy contexts. 208-223
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JamrogaMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JamrogaMS13
Wojciech Jamroga, Artur Meski, Maciej Szreter:
Modularity and Openness in Modeling Multi-Agent Systems. 224-239
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MonicaNP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MonicaNP13
Dario Della Monica, Margherita Napoli, Mimmo Parente:
Model checking coalitional games in shortage resource scenarios. 240-255

a service of

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.