Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Wladimir Fridman, Martin Zimmermann 0002 |
Playing Pushdown Parity Games in a Hurry ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pp. 183-196, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Parys |
Higher-Order Pushdown Systems with Data ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pp. 210-223, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang |
Rapid Recovery for Systems with Scarce Faults ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pp. 15-28, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar S. Dimovski |
Symbolic Representation of Algorithmic Game Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pp. 99-112, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marta Capiluppi, Roberto Segala |
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pp. 1-14, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marco Faella, Aniello Murano (eds.) |
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Barth 0001, Martin Hofmann 0001 |
Learn with SAT to Minimize Büchi Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pp. 71-84, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Felix Canavoi, Erich Grädel, Roman Rabinovich 0001 |
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pp. 197-209, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Julian Gutierrez 0001, Felix Klaedtke, Martin Lange |
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pp. 113-126, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lange, Étienne Lozes, Manuel Vargas Guzmán |
Model-Checking Process Equivalences ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pp. 43-56, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yang Cai 0001, Ting Zhang |
Can Nondeterminism Help Complementation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pp. 57-70, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Szczepan Hummel |
Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pp. 247-260, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini |
Automata-based Static Analysis of XML Document Adaptation ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., pp. 85-98, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers, Bernd Finkbeiner |
Reactive Safety ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 178-191, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yoad Lustig, Moshe Y. Vardi |
Synthesis from Recursive-Components Libraries ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 1-16, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bastien Maubert, Sophie Pinchinat, Laura Bozzelli |
Opacity Issues in Games with Imperfect Information ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 87-101, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Olga Tveretina, Daniel Funke |
Deciding Reachability for 3-Dimensional Multi-Linear Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 250-262, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Giovanna D'Agostino, Salvatore La Torre (eds.) |
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Giacomo Lenzi |
On P-transitive graphs and applications ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 222-236, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Václav Brozek |
Optimal Strategies in Infinite-state Stochastic Reachability Games ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 60-73, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli |
New results on pushdown module checking with imperfect information ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 162-177, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
An Optimal Decision Procedure for MPNL over the Integers ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 192-206, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zhilin Wu |
A Decidable Extension of Data Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 116-130, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Tatsuta, Ferruccio Damiani |
Type Inference for Bimorphic Recursion ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 102-115, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Benerecetti, Marco Faella, Stefano Minopoli |
Towards Efficient Exact Synthesis for Linear Hybrid Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 263-277, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
Automated Analysis of MUTEX Algorithms with FASE ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 45-59, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Markus Latte |
Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 207-221, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bresolin, Marta Capiluppi |
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 237-249, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sten Grüner, Frank G. Radmacher, Wolfgang Thomas |
Connectivity Games over Dynamic Networks ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 131-145, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Haar, Christian Kern, Stefan Schwoon |
Computing the Reveals Relation in Occurrence Nets ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 31-44, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin Zimmermann 0002 |
Optimal Bounds in Parametric LTL Games ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 146-161, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Appold |
Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 17-30, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Nathanaël Fijalkow |
A reduction from parity games to simple stochastic games ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011., pp. 74-86, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Giovanna D'Agostino, Giacomo Lenzi |
On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 55-71, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | John Fearnley, Martin Zimmermann 0002 |
Playing Muller Games in a Hurry ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 146-161, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Montanari, Margherita Napoli, Mimmo Parente (eds.) |
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Giovanni Lagorio |
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 214-230, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Fialík |
Unitary Noise and the Mermin-GHZ Game ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 188-198, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Dima, Constantin Enea, Dimitar P. Guelev |
Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 103-117, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Rupak Majumdar |
Discounting in Games across Time Scales ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 22-29, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christian Appold |
Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 173-187, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bernardo 0001 |
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 199-213, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bresolin, Pietro Sala, Guido Sciavicco |
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 72-88, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lubos Brim, Jakub Chaloupka |
Using Strategy Improvement to Stay Alive ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 40-54, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Friedmann, Martin Lange |
Local Strategy Improvement for Parity Game Solving ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 118-131, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Julien Cristau, Claire David, Florian Horn 0001 |
How do we remember the past in randomised strategies? ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 30-39, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Morgenstern, Klaus Schneider 0001 |
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 89-102, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Soumya Paul, Ramaswamy Ramanujam |
Imitation in Large Games ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 162-172, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Wladimir Fridman |
Formats of Winning Strategies for Six Types of Pushdown Games ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 132-145, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Gimbert, Wieslaw Zielonka |
Blackwell-Optimal Strategies in Priority Mean-Payoff Games ![Search on Bibsonomy](Pics/bibsonomy.png) |
GANDALF ![In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010., pp. 7-21, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|