default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th GandALF 2023: Udine, Italy
- 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 - Emanuel Kieronski:
A Uniform One-Dimensional Fragment with Alternation of Quantifiers. 1-15 - Jasper Nalbach
, Valentin Promies, Erika Ábrahám, Paul Kobialka:
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. 16-32 - Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke:
Handling of Past and Future with Phenesthe+. 33-49 - Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa:
On Two- and Three-valued Semantics for Impure Simplicial Complexes. 50-66 - Marco Bernardo, Andrea Esposito:
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities. 67-81 - Stephan Spengler, Sanchari Sil:
TSO Games - On the decidability of safety games under the total store order semantics. 82-98 - 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. 99-114 - Paul Hannibal:
(Un)Decidability Bounds of the Synthesis Problem for Petri Games. 115-131 - Julie Parreaux, Jakob Piribauer, Christel Baier:
Counterfactual Causality for Reachability and Safety based on Distance Functions. 132-149 - Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva:
Conflict-Aware Active Automata Learning. 150-167 - Thomas Webster:
The Recursive Arrival Problem. 168-184 - Joshua A. Grochow, Michael Levet:
On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract). 185-202 - Daniele Dell'Erba, Arthur Dumas, Sven Schewe:
An Objective Improvement Approach to Solving Discounted Payoff Games. 203-219 - Martin Fränzle, Sarah Winter, Martin Zimmermann:
Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games. 220-235 - Sebastian Forster, Antonis Skarlatos, Tijn de Vos:
Fast Algorithms for Energy Games in Special Cases. 236-252
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.
last updated on 2026-07-15 00:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
