default search action

combined dblp search
author search
venue search
publication search

ask others

10th GandALF 2019: Bordeaux, France

> 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-1909-05979
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-05979
Jérôme Leroux, Jean-François Raskin:
Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019. EPTCS 305, 2019
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-08538
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-08538
Daniel Neider, Alexander Weinert, Martin Zimmermann:
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. 1-16
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-07653
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-07653
Loïc Hélouët, Nicolas Markey, Ritam Raha:
Reachability Games with Relaxed Energy Constraints. 17-33
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-07676
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-07676
Émilie Charlier, Célia Cisternino, Adeline Massuir:
State Complexity of the Multiples of the Thue-Morse Set. 34-49
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-07656
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-07656
Corina Cîrstea:
Resource-Aware Automata and Games for Optimal Synthesis. 50-65
- no documents available
- export record
  dblp key:
  - dblpnote/ellipsis
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/dblpnote/ellipsis
….
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1903-11935
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-11935
Kristoffer Arnsfelt Hansen, Mikhail A. Raskin:
A Stay-in-a-Set Game without a Stationary Equilibrium. 83-90
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-08541
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-08541
Paritosh K. Pandya, Amol Wakankar:
Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields. 91-106
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1807-10210
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-10210
Tom van Dijk:
A Parity Game Tale of Two Counters. 107-122
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-07659
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-07659
Tom van Dijk, Bob Rubbens:
Simple Fixpoint Iteration To Solve Parity Games. 123-139
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1902-07417
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-07417
Kaizaburo Chubachi, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara:
Query Learning Algorithm for Residual Symbolic Finite Automata. 140-153
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-07663
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-07663
Pascal Caron, Edwin Hamel-De le Court, Jean-Gabriel Luque:
Algebraic and Combinatorial Tools for State Complexity : Application to the Star-Xor Problem. 154-168
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-08543
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-08543
Kitti Gelle, Szabolcs Iván:
On the Order Type of Scattered Context-Free Orderings. 169-182

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.