| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Wladimir Fridman, Martin Zimmermann 0002 |
Playing Pushdown Parity Games in a Hurry  |
GandALF  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Parys |
Higher-Order Pushdown Systems with Data |
GandALF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang |
Rapid Recovery for Systems with Scarce Faults |
GandALF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar S. Dimovski |
Symbolic Representation of Algorithmic Game Semantics |
GandALF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Capiluppi, Roberto Segala |
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata |
GandALF |
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. |
GandALF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Barth 0001, Martin Hofmann 0001 |
Learn with SAT to Minimize Büchi Automata |
GandALF |
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 |
GandALF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Gutierrez 0001, Felix Klaedtke, Martin Lange |
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity |
GandALF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lange, Étienne Lozes, Manuel Vargas Guzmán |
Model-Checking Process Equivalences |
GandALF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Cai 0001, Ting Zhang |
Can Nondeterminism Help Complementation? |
GandALF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Szczepan Hummel |
Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones |
GandALF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini |
Automata-based Static Analysis of XML Document Adaptation |
GandALF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Ehlers, Bernd Finkbeiner |
Reactive Safety |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoad Lustig, Moshe Y. Vardi |
Synthesis from Recursive-Components Libraries |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastien Maubert, Sophie Pinchinat, Laura Bozzelli |
Opacity Issues in Games with Imperfect Information |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Tveretina, Daniel Funke |
Deciding Reachability for 3-Dimensional Multi-Linear Systems |
GandALF |
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. |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giacomo Lenzi |
On P-transitive graphs and applications |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Václav Brozek |
Optimal Strategies in Infinite-state Stochastic Reachability Games |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli |
New results on pushdown module checking with imperfect information |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
An Optimal Decision Procedure for MPNL over the Integers |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhilin Wu |
A Decidable Extension of Data Automata |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Tatsuta, Ferruccio Damiani |
Type Inference for Bimorphic Recursion |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Benerecetti, Marco Faella, Stefano Minopoli |
Towards Efficient Exact Synthesis for Linear Hybrid Systems |
GandALF |
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 |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Latte |
Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Marta Capiluppi |
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sten Grüner, Frank G. Radmacher, Wolfgang Thomas |
Connectivity Games over Dynamic Networks |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Haar, Christian Kern, Stefan Schwoon |
Computing the Reveals Relation in Occurrence Nets |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Zimmermann 0002 |
Optimal Bounds in Parametric LTL Games |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Appold |
Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Nathanaël Fijalkow |
A reduction from parity games to simple stochastic games |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanna D'Agostino, Giacomo Lenzi |
On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Fearnley, Martin Zimmermann 0002 |
Playing Muller Games in a Hurry |
GANDALF |
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. |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Giovanni Lagorio |
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Fialík |
Unitary Noise and the Mermin-GHZ Game |
GANDALF |
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 |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rupak Majumdar |
Discounting in Games across Time Scales |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Appold |
Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo 0001 |
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bresolin, Pietro Sala, Guido Sciavicco |
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jakub Chaloupka |
Using Strategy Improvement to Stay Alive |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Friedmann, Martin Lange |
Local Strategy Improvement for Parity Game Solving |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cristau, Claire David, Florian Horn 0001 |
How do we remember the past in randomised strategies? |
GANDALF |
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 |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumya Paul, Ramaswamy Ramanujam |
Imitation in Large Games |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wladimir Fridman |
Formats of Winning Strategies for Six Types of Pushdown Games |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Gimbert, Wieslaw Zielonka |
Blackwell-Optimal Strategies in Priority Mean-Payoff Games |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license