- 2023
- Sebastian Forster, Antonis Skarlatos, Tijn de Vos
:
Fast Algorithms for Energy Games in Special Cases. GandALF 2023: 236-252 - Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa:
On Two- and Three-valued Semantics for Impure Simplicial Complexes. GandALF 2023: 50-66 - Stephan Spengler, Sanchari Sil:
TSO Games - On the decidability of safety games under the total store order semantics. GandALF 2023: 82-98 - Emanuel Kieronski:
A Uniform One-Dimensional Fragment with Alternation of Quantifiers. GandALF 2023: 1-15 - Jasper Nalbach, Valentin Promies, Erika Ábrahám, Paul Kobialka:
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. GandALF 2023: 16-32 - Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke:
Handling of Past and Future with Phenesthe+. GandALF 2023: 33-49 - Marco Bernardo, Andrea Esposito:
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities. GandALF 2023: 67-81 - 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: 99-114 - Paul Hannibal:
(Un)Decidability Bounds of the Synthesis Problem for Petri Games. GandALF 2023: 115-131 - Julie Parreaux, Jakob Piribauer, Christel Baier:
Counterfactual Causality for Reachability and Safety based on Distance Functions. GandALF 2023: 132-149 - Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva:
Conflict-Aware Active Automata Learning. GandALF 2023: 150-167 - Thomas Webster:
The Recursive Arrival Problem. GandALF 2023: 168-184 - Joshua A. Grochow, Michael Levet:
On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract). GandALF 2023: 185-202 - Daniele Dell'Erba, Arthur Dumas, Sven Schewe:
An Objective Improvement Approach to Solving Discounted Payoff Games. GandALF 2023: 203-219 - Martin Fränzle, Sarah Winter, Martin Zimmermann:
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. GandALF 2023: 220-235 - Antonis Achilleos, Dario Della Monica:
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023. EPTCS 390, 2023 [contents] - 2022
- Hadar Frenkel, Sarai Sheinvald:
Realizable and Context-Free Hyperlanguages. GandALF 2022: 114-130 - Benedikt Bollig, Arnaud Sangnier, Olivier Stietel:
On the Existential Fragments of Local First-Order Logics with Data. GandALF 2022: 1-16 - Florian Bruse, David Kronenberger, Martin Lange:
Capturing Bisimulation-Invariant Exponential-Time Complexity Classes. GandALF 2022: 17-33 - Joachim Niehren, Momar Sakho, Antonio Al Serhali:
Schema-Based Automata Determinization. GandALF 2022: 49-65 - Hans de Nivelle, Dina Muktubayeva:
Generating Tokenizers with Flat Automata. GandALF 2022: 66-80 - Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy:
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF 2022: 81-96 - Laura Bozzelli, Adriano Peron:
Parametric Interval Temporal Logic over Infinite Words. GandALF 2022: 97-113 - Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti:
Controller Synthesis for Timeline-based Games. GandALF 2022: 131-146 - Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek:
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms. GandALF 2022: 147-161 - Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko:
Adversarial Formal Semantics of Attack Trees and Related Problems. GandALF 2022: 162-177 - Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann:
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets. GandALF 2022: 178-193 - Michael J. Coulombe, Jayson Lynch:
Characterizing the Decidability of Finite State Automata Team Games with Communication. GandALF 2022: 213-228 - Felix Stutz, Damien Zufferey:
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. GandALF 2022: 194-212 - Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir:
Complexity through Translations for Modal Logic with Recursion. GandALF 2022: 34-48
