default search action

combined dblp search
author search
venue search
publication search

ask others

11th GandALF 2020: Brussels, Belgium

> 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-2009-09360
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-09360
Jean-François Raskin, Davide Bresolin:
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020. EPTCS 326, 2020
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-10875
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10875
Lucas M. Tabajara, Moshe Y. Vardi:
LTLf Synthesis under Partial Observability: From Theory to Practice. 1-17
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-10876
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10876
Oebele Lijzenga, Tom van Dijk:
Symbolic Parity Game Solvers that Yield Winning Strategies. 18-32
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2002-07545
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-07545
Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder:
Synthesis in Presence of Dynamic Links. 33-49
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-10877
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10877
Mara Downing, Abtin Molavi, Lucas Bang:
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis. 50-65
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-10878
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10878
Can Baskent:
A Game Theoretical Semantics for Logics of Nonsense. 66-81
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-10880
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10880
Lauri Hella, Antti Kuusisto, Raine Rönnholm:
Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants. 82-96
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-10881
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10881
Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer:
Local Higher-Order Fixpoint Iteration. 97-113
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-11638
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-11638
Aniello Murano, Sasha Rubin, Martin Zimmermann:
Optimal Strategies in Weighted Limit Games. 114-130
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-10882
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10882
Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger:
Comparison of Algorithms for Simple Stochastic Games. 131-148
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2001-04347
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-04347
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove:
Decisiveness of Stochastic Systems and its Application to Hybrid Models. 149-165
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-10883
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10883
Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
LTLf Synthesis on Probabilistic Systems. 166-181
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2005-09125
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-09125
Yong Li, Moshe Y. Vardi, Lijun Zhang:
On the Power of Unambiguity in Büchi Complementation. 182-198
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-10885
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10885
Bader Abu Radi, Orna Kupferman:
Canonicity in GFG and Transition-Based Automata. 199-215
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-10886
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10886
Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
The Quotient in Preorder Theories. 216-233

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.