- Jan Kretínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
:
Comparison of Algorithms for Simple Stochastic Games. GandALF 2020: 131-148 - Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi:
LTLf Synthesis on Probabilistic Systems. GandALF 2020: 166-181 - Bader Abu Radi, Orna Kupferman:
Canonicity in GFG and Transition-Based Automata. GandALF 2020: 199-215 - Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
The Quotient in Preorder Theories. GandALF 2020: 216-233 - Aniello Murano, Sasha Rubin, Martin Zimmermann:
Optimal Strategies in Weighted Limit Games. GandALF 2020: 114-130 - 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 [contents] - 2019
- Tom van Dijk:
A Parity Game Tale of Two Counters. GandALF 2019: 107-122 - Kaizaburo Chubachi, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara:
Query Learning Algorithm for Residual Symbolic Finite Automata. GandALF 2019: 140-153 - Kristoffer Arnsfelt Hansen, Mikhail A. Raskin:
A Stay-in-a-Set Game without a Stationary Equilibrium. GandALF 2019: 83-90 - Loïc Hélouët, Nicolas Markey, Ritam Raha:
Reachability Games with Relaxed Energy Constraints. GandALF 2019: 17-33 - Corina Cîrstea:
Resource-Aware Automata and Games for Optimal Synthesis. GandALF 2019: 50-65 - Tom van Dijk, Bob Rubbens:
Simple Fixpoint Iteration To Solve Parity Games. GandALF 2019: 123-139 - Pascal Caron, Edwin Hamel-De le Court, Jean-Gabriel Luque:
Algebraic and Combinatorial Tools for State Complexity : Application to the Star-Xor Problem. GandALF 2019: 154-168 - Émilie Charlier, Célia Cisternino, Adeline Massuir:
State Complexity of the Multiples of the Thue-Morse Set. GandALF 2019: 34-49 - Daniel Neider, Alexander Weinert, Martin Zimmermann:
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. GandALF 2019: 1-16 - Paritosh K. Pandya, Amol Wakankar:
Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields. GandALF 2019: 91-106 - Kitti Gelle, Szabolcs Iván:
On the Order Type of Scattered Context-Free Orderings. GandALF 2019: 169-182 - 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 [contents] - 2018
- Laura Bozzelli, Aniello Murano, Adriano Peron:
Timed Context-Free Temporal Logics. GandALF 2018: 235-249 - Jesko Hecking-Harbusch, Leander Tentrup:
Solving QBF by Abstraction. GandALF 2018: 88-102 - Pietro Galliani:
Safe Dependency Atoms and Possibility Operators in Team Semantics. GandALF 2018: 58-72 - Arno Pauly:
Parameterized Games and Parameterized Automata. GandALF 2018: 30-42 - Federico Aschieri, Agata Ciabattoni, Francesco A. Genco:
Classical Proofs as Parallel Programs. GandALF 2018: 43-57 - Éric Goubault, Jérémy Ledent, Sergio Rajsbaum:
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability. GandALF 2018: 73-87 - Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse:
A Comparison of BDD-Based Parity Game Solvers. GandALF 2018: 103-117 - Petra van den Bos, Mariëlle Stoelinga:
Tester versus Bug: A Generic Framework for Model-Based Testing via Games. GandALF 2018: 118-132 - A. R. Balasubramanian:
Parameterized Verification of Coverability in Well-Structured Broadcast Networks. GandALF 2018: 133-146 - Michele Chiari, Dino Mandrioli, Matteo Pradella:
Temporal Logic and Model Checking for Operator Precedence Languages. GandALF 2018: 161-175 - Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds:
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. GandALF 2018: 176-190 - Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. GandALF 2018: 191-205
