| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Olga Tveretina, Daniel Funke |
Deciding Reachability for 3-Dimensional Multi-Linear Systems  |
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 | Bastien Maubert, Sophie Pinchinat, Laura Bozzelli |
Opacity Issues in Games with Imperfect Information |
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 | 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 | 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 | Christian Appold |
Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations |
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 | Giovanna D'Agostino, Salvatore La Torre (eds.) |
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhilin Wu |
A Decidable Extension of Data Automata |
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 | Yoad Lustig, Moshe Y. Vardi |
Synthesis from Recursive-Components Libraries |
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 | Massimo Benerecetti, Marco Faella, Stefano Minopoli |
Towards Efficient Exact Synthesis for Linear Hybrid Systems |
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 | Makoto Tatsuta, Ferruccio Damiani |
Type Inference for Bimorphic Recursion |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Ehlers, Bernd Finkbeiner |
Reactive Safety |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giacomo Lenzi |
On P-transitive graphs and applications |
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 | Andreas Morgenstern, Klaus Schneider |
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Fialík |
Unitary Noise and the Mermin-GHZ Game |
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 | Christian Appold |
Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Rupak Majumdar |
Discounting in Games across Time Scales |
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 | 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 | Davide Bresolin, Pietro Sala, Guido Sciavicco |
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cristau, Claire David, Florian Horn |
How do we remember the past in randomised strategies? |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumya Paul, Ramaswamy Ramanujam |
Imitation in Large Games |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo |
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions |
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 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Gimbert, Wieslaw Zielonka |
Blackwell-Optimal Strategies in Priority Mean-Payoff Games |
GANDALF |
2010 |
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 | Lubos Brim, Jakub Chaloupka |
Using Strategy Improvement to Stay Alive |
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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")