GandALF

Keyphrases

Publications

2023

Martin Fränzle, Sarah Winter, Martin Zimmermann
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. GandALF (2023)
Thomas Webster
The Recursive Arrival Problem. GandALF (2023)
Marco Bernardo, Andrea Esposito
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities. GandALF (2023)
Emanuel Kieronski
A Uniform One-Dimensional Fragment with Alternation of Quantifiers. GandALF (2023)
Hans van Ditmarsch, Roman Kuznets, Rojo Fanamperana Randrianomentsoa
On Two- and Three-valued Semantics for Impure Simplicial Complexes. GandALF (2023)
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva
Conflict-Aware Active Automata Learning. GandALF (2023)
Paul Hannibal
(Un)Decidability Bounds of the Synthesis Problem for Petri Games. GandALF (2023)
Stephan Spengler, Sanchari Sil
TSO Games - On the decidability of safety games under the total store order semantics. GandALF (2023)
Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. GandALF (2023)
Falke B. Ø. Carlsen, Lars Bo P. Frydenskov, Nicolaj Ø. Jensen, Jener Rasmussen, Mathias M. Sørensen, Asger G. Weirsøe, Mathias Claus Jensen, Kim G. Larsen
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics. GandALF (2023)
Daniele Dell'Erba, Arthur Dumas, Sven Schewe
An Objective Improvement Approach to Solving Discounted Payoff Games. GandALF (2023)
Joshua A. Grochow, Michael Levet
On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract). GandALF (2023)
Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke
Handling of Past and Future with Phenesthe+. GandALF (2023)
Julie Parreaux, Jakob Piribauer, Christel Baier
Counterfactual Causality for Reachability and Safety based on Distance Functions. GandALF (2023)

volume 390, 2023

Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023. GandALF 390 (2023)

2022

volume 370, 2022

Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022. GandALF 370 (2022)

2021

volume 346, 2021

Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021. GandALF 346 (2021)