15th GandALF 2024: Reykjavik, Iceland

> 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-2410-21884
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-21884
Antonis Achilleos, Adrian Francalanza:
Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2024, Reykjavik, Iceland, 19-21 June 2024. EPTCS 409, 2024
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-22757
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-22757
Renato Acampora, Dario Della Monica, Luca Geatti, Nicola Gigante, Angelo Montanari, Pietro Sala:
Synthesis of Timeline-Based Planning Strategies Avoiding Determinization. 5-18
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-11849
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-11849
Shaull Almagor, Ishai Salgado:
Jumping Automata Must Pay. 19-34
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-22760
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-22760
Emanuele Chini, Pietro Sala, Andrea Simonetti, Omid Zare:
Reactive Synthesis for Expected Impacts. 35-52
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-00048
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-00048
Linda Feeken, Martin Fränzle:
Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion. 53-69
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-22761
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-22761
R. Keerthan, B. Srivathsan, R. Venkatesh, Sagar Verma:
Deterministic Suffix-reading Automata. 70-87
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-01425
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-01425
Mathieu Lehaut, Nir Piterman:
Measuring the Gain of Reconfigurable Communication. 88-102
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-22762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-22762
Dylan Léveillé, Jason Jaskolka:
A Game-Theoretic Approach for Security Control Selection. 103-119
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-22763
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-22763
Xiaolong Liang, Yì N. Wáng:
Epistemic Skills: Logical Dynamics of Knowing and Forgetting. 120-137
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-22764
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-22764
Jan Martens, Anton Wijs:
An Evaluation of Massively Parallel Algorithms for DFA Minimization. 138-153
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-00847
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-00847
Stephan Spengler:
Reachability and Safety Games under TSO Semantics. 154-171

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.