Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/gandalf:"
download as .bib file
@inproceedings{DBLP:journals/corr/abs-2307-08442,
author = {Sebastian Forster and
Antonis Skarlatos and
Tijn de Vos},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {Fast Algorithms for Energy Games in Special Cases},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {236--252},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.15},
doi = {10.4204/EPTCS.390.15},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-08442.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-00989,
author = {Hans van Ditmarsch and
Roman Kuznets and
Rojo Randrianomentsoa},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {On Two- and Three-valued Semantics for Impure Simplicial Complexes},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {50--66},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.4},
doi = {10.4204/EPTCS.390.4},
timestamp = {Wed, 27 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-00990,
author = {Stephan Spengler and
Sanchari Sil},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {{TSO} Games - On the decidability of safety games under the total
store order semantics},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {82--98},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.6},
doi = {10.4204/EPTCS.390.6},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-00994,
author = {Emanuel Kieronski},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {A Uniform One-Dimensional Fragment with Alternation of Quantifiers},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {1--15},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.1},
doi = {10.4204/EPTCS.390.1},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-00995,
author = {Jasper Nalbach and
Valentin Promies and
Erika {\'{A}}brah{\'{a}}m and
Paul Kobialka},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {FMplex: {A} Novel Method for Solving Linear Real Arithmetic Problems},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {16--32},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.2},
doi = {10.4204/EPTCS.390.2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-00997,
author = {Manolis Pitsikalis and
Alexei Lisitsa and
Patrick Totzke},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {Handling of Past and Future with Phenesthe+},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {33--49},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.3},
doi = {10.4204/EPTCS.390.3},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-00998,
author = {Marco Bernardo and
Andrea Esposito},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse
Bisimilarities},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {67--81},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.5},
doi = {10.4204/EPTCS.390.5},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-00999,
author = {Falke B. {\O}. Carlsen and
Lars Bo P. Frydenskov and
Nicolaj {\O}. Jensen and
Jener Rasmussen and
Mathias M. S{\o}rensen and
Asger G. Weirs{\o}e and
Mathias Claus Jensen and
Kim G. Larsen},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {{CGAAL:} Distributed On-The-Fly {ATL} Model Checker with Heuristics},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {99--114},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.7},
doi = {10.4204/EPTCS.390.7},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-01000,
author = {Paul Hannibal},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {(Un)Decidability Bounds of the Synthesis Problem for Petri Games},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {115--131},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.8},
doi = {10.4204/EPTCS.390.8},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-01000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-01001,
author = {Julie Parreaux and
Jakob Piribauer and
Christel Baier},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {Counterfactual Causality for Reachability and Safety based on Distance
Functions},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {132--149},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.9},
doi = {10.4204/EPTCS.390.9},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-01001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-01003,
author = {Tiago Ferreira and
L{\'{e}}o Henry and
Raquel Fernandes da Silva and
Alexandra Silva},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {Conflict-Aware Active Automata Learning},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {150--167},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.10},
doi = {10.4204/EPTCS.390.10},
timestamp = {Wed, 29 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-01003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-01004,
author = {Thomas Webster},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {The Recursive Arrival Problem},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {168--184},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.11},
doi = {10.4204/EPTCS.390.11},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-01004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-01007,
author = {Joshua A. Grochow and
Michael Levet},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {On the Descriptive Complexity of Groups without Abelian Normal Subgroups
(Extended Abstract)},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {185--202},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.12},
doi = {10.4204/EPTCS.390.12},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-01007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-01008,
author = {Daniele Dell'Erba and
Arthur Dumas and
Sven Schewe},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {An Objective Improvement Approach to Solving Discounted Payoff Games},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {203--219},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.13},
doi = {10.4204/EPTCS.390.13},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-01008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2310-01010,
author = {Martin Fr{\"{a}}nzle and
Sarah Winter and
Martin Zimmermann},
editor = {Antonis Achilleos and
Dario Della Monica},
title = {Strategies Resilient to Delay: Games under Delayed Control vs. Delay
Games},
booktitle = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
pages = {220--235},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390.14},
doi = {10.4204/EPTCS.390.14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-01010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2309-17318,
editor = {Antonis Achilleos and
Dario Della Monica},
title = {Proceedings of the Fourteenth International Symposium on Games, Automata,
Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th
September 2023},
series = {{EPTCS}},
volume = {390},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.390},
doi = {10.4204/EPTCS.390},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-17318.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10306,
author = {Hadar Frenkel and
Sarai Sheinvald},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Realizable and Context-Free Hyperlanguages},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {114--130},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.8},
doi = {10.4204/EPTCS.370.8},
timestamp = {Mon, 31 Oct 2022 12:23:58 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10306.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10309,
author = {Benedikt Bollig and
Arnaud Sangnier and
Olivier Stietel},
editor = {Pierre Ganty and
Dario Della Monica},
title = {On the Existential Fragments of Local First-Order Logics with Data},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {1--16},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.1},
doi = {10.4204/EPTCS.370.1},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10311,
author = {Florian Bruse and
David Kronenberger and
Martin Lange},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Capturing Bisimulation-Invariant Exponential-Time Complexity Classes},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {17--33},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.2},
doi = {10.4204/EPTCS.370.2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10311.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10312,
author = {Joachim Niehren and
Momar Sakho and
Antonio Al Serhali},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Schema-Based Automata Determinization},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {49--65},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.4},
doi = {10.4204/EPTCS.370.4},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10312.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10313,
author = {Hans de Nivelle and
Dina Muktubayeva},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Generating Tokenizers with Flat Automata},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {66--80},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.5},
doi = {10.4204/EPTCS.370.5},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10313.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10315,
author = {Igor Khmelnitsky and
Serge Haddad and
Lina Ye and
Beno{\^{\i}}t Barbot and
Benedikt Bollig and
Martin Leucker and
Daniel Neider and
Rajarshi Roy},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {81--96},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.6},
doi = {10.4204/EPTCS.370.6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10316,
author = {Laura Bozzelli and
Adriano Peron},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Parametric Interval Temporal Logic over Infinite Words},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {97--113},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.7},
doi = {10.4204/EPTCS.370.7},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10316.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10319,
author = {Renato Acampora and
Luca Geatti and
Nicola Gigante and
Angelo Montanari and
Valentino Picotti},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Controller Synthesis for Timeline-based Games},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {131--146},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.9},
doi = {10.4204/EPTCS.370.9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10319.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10321,
author = {Dalton Chichester and
Wei Du and
Raymond Kauffman and
Hai Lin and
Christopher Lynch and
Andrew M. Marshall and
Catherine A. Meadows and
Paliath Narendran and
Veena Ravishankar and
Luis Rovira and
Brandon Rozek},
editor = {Pierre Ganty and
Dario Della Monica},
title = {CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic
Algorithms},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {147--161},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.10},
doi = {10.4204/EPTCS.370.10},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10321.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10322,
author = {Thomas Brihaye and
Sophie Pinchinat and
Alexandre Terefenko},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Adversarial Formal Semantics of Attack Trees and Related Problems},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {162--177},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.11},
doi = {10.4204/EPTCS.370.11},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10323,
author = {Giann Karlo Aguirre{-}Sambon{\'{\i}} and
Stefan Haar and
Lo{\"{\i}}c Paulev{\'{e}} and
Stefan Schwoon and
Nick W{\"{u}}rdemann},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {178--193},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.12},
doi = {10.4204/EPTCS.370.12},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10324,
author = {Michael J. Coulombe and
Jayson Lynch},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Characterizing the Decidability of Finite State Automata Team Games
with Communication},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {213--228},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.14},
doi = {10.4204/EPTCS.370.14},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10328,
author = {Felix Stutz and
Damien Zufferey},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Comparing Channel Restrictions of Communicating State Machines, High-level
Message Sequence Charts, and Multiparty Session Types},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {194--212},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.13},
doi = {10.4204/EPTCS.370.13},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10328.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10377,
author = {Luca Aceto and
Antonis Achilleos and
Elli Anastasiadi and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Pierre Ganty and
Dario Della Monica},
title = {Complexity through Translations for Modal Logic with Recursion},
booktitle = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
pages = {34--48},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370.3},
doi = {10.4204/EPTCS.370.3},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-10377.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2209-09333,
editor = {Pierre Ganty and
Dario Della Monica},
title = {Proceedings of the 13th International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
21-23, 2022},
series = {{EPTCS}},
volume = {370},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.370},
doi = {10.4204/EPTCS.370},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-09333.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/0001GD21,
author = {Laura Giordano and
Valentina Gliozzi and
Daniele Theseider Dupr{\'{e}}},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Preferential Reasoning with Typicality and Neural Network Models (Extended
Abstract)},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {83--89},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:43 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/0001GD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/AbateAEGP21,
author = {Alessandro Abate and
Daniele Ahmed and
Alec Edwards and
Mirco Giacobbe and
Andrea Peruffo},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {A Software Tool for the Formal Synthesis of Lyapunov Functions and
Barrier Certificates using Neural Networks},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {73--75},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/AbateAEGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/AdrdorK21,
author = {Rachid Adrdor and
Lahcen Koutti},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Using Directional Arc Consistency with Asynchronous Forward-Bounding
algorithm},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {49--53},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/AdrdorK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/AliG21,
author = {Aliyu Tanko Ali and
Damas P. Gruska},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Dynamic Attack Trees},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {25--29},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/AliG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/BecchiCZ21,
author = {Anna Becchi and
Alessandro Cimatti and
Enea Zaffanella},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Reverse engineering with P-stable Abstractions},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {91--95},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/BecchiCZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/Boing0NM21,
author = {Benedikt B{\"{o}}ing and
Rajarshi Roy and
Daniel Neider and
Emmanuel M{\"{u}}ller},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {{QUGA} - Quality Guarantees for Autoencoders},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {103--107},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper18.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/Boing0NM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/ConchonDS21,
author = {Sylvain Conchon and
Giorgio Delzanno and
Arnaud Sangnier},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {On the Parameterized Verification of Abstract Models of Contact Tracing
Protocols},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {61--66},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/ConchonDS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/DunkelauB21,
author = {Jannik Dunkelau and
Leo Baldus},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Ranking Model Checking Backends for Automated Selection via Classification
and Regression Learning},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {77--82},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/DunkelauB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/Esposito21,
author = {Marco Esposito},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {AI-guided optimal deployments of drone-intercepting systems in large
critical areas},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {97--101},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/Esposito21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/EspositoP21,
author = {Marco Esposito and
Leonardo Picchiami},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Simulation-Based Synthesis of Personalised Therapies for Colorectal
Cancer},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {109--113},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper19.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/EspositoP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/GeattiGM21,
author = {Luca Geatti and
Nicola Gigante and
Angelo Montanari},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {{BLACK:} {A} Fast, Flexible and Reliable {LTL} Satisfiability Checker},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {7--12},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/GeattiGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/GianolaMP21,
author = {Alessandro Gianola and
Marco Montali and
Matteo Papini},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Automated Reasoning for Reinforcement Learning Agents in Structured
Environments},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {43--48},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/GianolaMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/IvankovicR21,
author = {Franc Ivankovic and
Marco Roveri},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Planning with Global State Constraints for Urban Traffic Control},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {1--5},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/IvankovicR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/MazziCF21,
author = {Giulio Mazzi and
Alberto Castellini and
Alessandro Farinelli},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {19--23},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/MazziCF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/PagliariniSS21,
author = {Giovanni Pagliarini and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Multi-Frame Modal Symbolic Learning},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {37--41},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/PagliariniSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/Pappagallo21,
author = {Angela Pappagallo},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Statistical Model Checking for the Analysis of Mission- and Safety-Critical
Cyber-Physical Systems},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {55--59},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/Pappagallo21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/SalzerS21,
author = {Marco S{\"{a}}lzer and
Georg Siebert},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Towards Learning From Graph Representable Formal Models},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {67--71},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/SalzerS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/SciaviccoVZ21,
author = {Guido Sciavicco and
Tiziano Villa and
Matteo Zavatteri},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Mining Temporal Networks: Results and Open Problems},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {31--36},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/SciaviccoVZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/TorreP21,
author = {Salvatore La Torre and
Gennaro Parlato},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Automated Planning Through Program Verification},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {13--17},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/TorreP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-06790,
author = {Shufang Zhu and
Lucas M. Tabajara and
Geguang Pu and
Moshe Y. Vardi},
editor = {Pierre Ganty and
Davide Bresolin},
title = {On the Power of Automata Minimization in Temporal Synthesis},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {117--134},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.8},
doi = {10.4204/EPTCS.346.8},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-06790.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2107-06084,
author = {Florian Gallay and
Yli{\`{e}}s Falcone},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Decentralized {LTL} Enforcement},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {135--151},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.9},
doi = {10.4204/EPTCS.346.9},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-06084.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2108-09101,
author = {Javier Esparza and
Mikhail A. Raskin and
Christoph Welzel},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Abduction of trap invariants in parameterized systems},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {1--17},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.1},
doi = {10.4204/EPTCS.346.1},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-09101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08309,
author = {Domenico Cantone and
Andrea De Domenico and
Pietro Maugeri},
editor = {Pierre Ganty and
Davide Bresolin},
title = {On the Convexity of a Fragment of Pure Set Theory with Applications
within a Nelson-Oppen Framework},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {195--210},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.13},
doi = {10.4204/EPTCS.346.13},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08310,
author = {Clemens Kupke and
Johannes Marti and
Yde Venema},
editor = {Pierre Ganty and
Davide Bresolin},
title = {On the size of disjunctive formulas in the {\(\mu\)}-calculus},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {291--307},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.19},
doi = {10.4204/EPTCS.346.19},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08310.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08313,
author = {Raoul Koudijs},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Finite Model Property and Bisimulation for {LFD}},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {166--178},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.11},
doi = {10.4204/EPTCS.346.11},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08313.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08315,
author = {A. R. Balasubramanian and
Chana Weil{-}Kennedy},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems
are Equivalent},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {18--34},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.2},
doi = {10.4204/EPTCS.346.2},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08316,
author = {Dhananjay Raju and
R{\"{u}}diger Ehlers and
Ufuk Topcu},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Adapting to the Behavior of Environments with Bounded Memory},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {52--66},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.4},
doi = {10.4204/EPTCS.346.4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08316.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08317,
author = {Tobias Winkler and
Maximilian Weininger},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Stochastic Games with Disjunctions of Multiple Objectives},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {83--100},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.6},
doi = {10.4204/EPTCS.346.6},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08318,
author = {Antti Kuusisto and
Raine R{\"{o}}nnholm},
editor = {Pierre Ganty and
Davide Bresolin},
title = {The Optimal Way to Play the Most Difficult Repeated Coordination Games},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {101--116},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.7},
doi = {10.4204/EPTCS.346.7},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08318.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08319,
author = {Alessandro Cimatti and
Luca Geatti and
Nicola Gigante and
Angelo Montanari and
Stefano Tonetta},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Expressiveness of Extended Bounded Response {LTL}},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {152--165},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.10},
doi = {10.4204/EPTCS.346.10},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08319.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08320,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes
makes it EXPSPACE-Complete},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {179--194},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.12},
doi = {10.4204/EPTCS.346.12},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08320.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08321,
author = {Jan Rooduijn and
Yde Venema},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Filtration and canonical completeness for continuous modal mu-calculi},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {211--226},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.14},
doi = {10.4204/EPTCS.346.14},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08321.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08322,
author = {Ashwani Anand and
Nathana{\"{e}}l Fijalkow and
Ali{\'{e}}nor Goubault{-}Larrecq and
J{\'{e}}r{\^{o}}me Leroux and
Pierre Ohlmann},
editor = {Pierre Ganty and
Davide Bresolin},
title = {New Algorithms for Combinations of Objectives using Separating Automata},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {227--240},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.15},
doi = {10.4204/EPTCS.346.15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08323,
author = {Gustav Grabolle},
editor = {Pierre Ganty and
Davide Bresolin},
title = {A Nivat Theorem for Weighted Alternating Automata over Commutative
Semirings},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {241--257},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.16},
doi = {10.4204/EPTCS.346.16},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08323.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08324,
author = {Miikka Vilander},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Games for Succinctness of Regular Expressions},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {258--272},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.17},
doi = {10.4204/EPTCS.346.17},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08325,
author = {Giovanni Pagliarini and
Guido Sciavicco},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Decision Tree Learning with Spatial Modal Logics},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {273--290},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.18},
doi = {10.4204/EPTCS.346.18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08325.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08326,
author = {Simon Jantsch and
Jakob Piribauer and
Christel Baier},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Witnessing Subsystems for Probabilistic Systems with Low Tree Width},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {35--51},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.3},
doi = {10.4204/EPTCS.346.3},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08327,
author = {Erich Gr{\"{a}}del and
Niels L{\"{u}}cking and
Matthias Naaf},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Semiring Provenance for B{\"{u}}chi Games: Strategy Analysis
with Absorptive Polynomials},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {67--82},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.5},
doi = {10.4204/EPTCS.346.5},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gandalf/2021overlay,
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987},
urn = {urn:nbn:de:0074-2987-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/2021overlay.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-07798,
editor = {Pierre Ganty and
Davide Bresolin},
title = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346},
doi = {10.4204/EPTCS.346},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-07798.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2001-04347,
author = {Patricia Bouyer and
Thomas Brihaye and
Mickael Randour and
C{\'{e}}dric Rivi{\`{e}}re and
Pierre Vandenhove},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Decisiveness of Stochastic Systems and its Application to Hybrid Models},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {149--165},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.10},
doi = {10.4204/EPTCS.326.10},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-04347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2002-07545,
author = {B{\'{e}}atrice B{\'{e}}rard and
Benedikt Bollig and
Patricia Bouyer and
Matthias F{\"{u}}gger and
Nathalie Sznajder},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Synthesis in Presence of Dynamic Links},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {33--49},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.3},
doi = {10.4204/EPTCS.326.3},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-07545.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-09125,
author = {Yong Li and
Moshe Y. Vardi and
Lijun Zhang},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {On the Power of Unambiguity in B{\"{u}}chi Complementation},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {182--198},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.12},
doi = {10.4204/EPTCS.326.12},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-09125.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10875,
author = {Lucas M. Tabajara and
Moshe Y. Vardi},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {LTLf Synthesis under Partial Observability: From Theory to Practice},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {1--17},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.1},
doi = {10.4204/EPTCS.326.1},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10876,
author = {Oebele Lijzenga and
Tom van Dijk},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Symbolic Parity Game Solvers that Yield Winning Strategies},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {18--32},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.2},
doi = {10.4204/EPTCS.326.2},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10876.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10877,
author = {Mara Downing and
Abtin Molavi and
Lucas Bang},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Symbolic Execution + Model Counting + Entropy Maximization = Automatic
Search Synthesis},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {50--65},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.4},
doi = {10.4204/EPTCS.326.4},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10877.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10878,
author = {Can Baskent},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {A Game Theoretical Semantics for Logics of Nonsense},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {66--81},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.5},
doi = {10.4204/EPTCS.326.5},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10878.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10880,
author = {Lauri Hella and
Antti Kuusisto and
Raine R{\"{o}}nnholm},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {82--96},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.6},
doi = {10.4204/EPTCS.326.6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10880.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10881,
author = {Florian Bruse and
J{\"{o}}rg Kreiker and
Martin Lange and
Marco S{\"{a}}lzer},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Local Higher-Order Fixpoint Iteration},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {97--113},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.7},
doi = {10.4204/EPTCS.326.7},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10882,
author = {Jan Kret{\'{\i}}nsk{\'{y}} and
Emanuel Ramneantu and
Alexander Slivinskiy and
Maximilian Weininger},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Comparison of Algorithms for Simple Stochastic Games},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {131--148},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.9},
doi = {10.4204/EPTCS.326.9},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10882.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10883,
author = {Andrew M. Wells and
Morteza Lahijanian and
Lydia E. Kavraki and
Moshe Y. Vardi},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {LTLf Synthesis on Probabilistic Systems},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {166--181},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.11},
doi = {10.4204/EPTCS.326.11},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10883.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10885,
author = {Bader Abu Radi and
Orna Kupferman},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Canonicity in {GFG} and Transition-Based Automata},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {199--215},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.13},
doi = {10.4204/EPTCS.326.13},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10885.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10886,
author = {{\'{I}}{\~{n}}igo X. {\'{I}}ncer Romeo and
Leonardo Mangeruca and
Tiziano Villa and
Alberto L. Sangiovanni{-}Vincentelli},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {The Quotient in Preorder Theories},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {216--233},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.14},
doi = {10.4204/EPTCS.326.14},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10886.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-11638,
author = {Aniello Murano and
Sasha Rubin and
Martin Zimmermann},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Optimal Strategies in Weighted Limit Games},
booktitle = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
pages = {114--130},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326.8},
doi = {10.4204/EPTCS.326.8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-11638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2009-09360,
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Davide Bresolin},
title = {Proceedings 11th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2020, Brussels, Belgium, September
21-22, 2020},
series = {{EPTCS}},
volume = {326},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.326},
doi = {10.4204/EPTCS.326},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-09360.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1807-10210,
author = {Tom van Dijk},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Jean{-}Fran{\c{c}}ois Raskin},
title = {A Parity Game Tale of Two Counters},
booktitle = {Proceedings Tenth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
2019},
series = {{EPTCS}},
volume = {305},
pages = {107--122},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.305.8},
doi = {10.4204/EPTCS.305.8},
timestamp = {Tue, 08 Oct 2019 16:28:21 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-10210.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1902-07417,
author = {Kaizaburo Chubachi and
Diptarama Hendrian and
Ryo Yoshinaka and
Ayumi Shinohara},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Query Learning Algorithm for Residual Symbolic Finite Automata},
booktitle = {Proceedings Tenth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
2019},
series = {{EPTCS}},
volume = {305},
pages = {140--153},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.305.10},
doi = {10.4204/EPTCS.305.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-07417.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1903-11935,
author = {Kristoffer Arnsfelt Hansen and
Mikhail A. Raskin},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Jean{-}Fran{\c{c}}ois Raskin},
title = {A Stay-in-a-Set Game without a Stationary Equilibrium},
booktitle = {Proceedings Tenth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
2019},
series = {{EPTCS}},
volume = {305},
pages = {83--90},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.305.6},
doi = {10.4204/EPTCS.305.6},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-11935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-07653,
author = {Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Nicolas Markey and
Ritam Raha},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Reachability Games with Relaxed Energy Constraints},
booktitle = {Proceedings Tenth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
2019},
series = {{EPTCS}},
volume = {305},
pages = {17--33},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.305.2},
doi = {10.4204/EPTCS.305.2},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-07653.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-07656,
author = {Corina C{\^{\i}}rstea},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Resource-Aware Automata and Games for Optimal Synthesis},
booktitle = {Proceedings Tenth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
2019},
series = {{EPTCS}},
volume = {305},
pages = {50--65},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.305.4},
doi = {10.4204/EPTCS.305.4},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-07656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-07659,
author = {Tom van Dijk and
Bob Rubbens},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Simple Fixpoint Iteration To Solve Parity Games},
booktitle = {Proceedings Tenth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
2019},
series = {{EPTCS}},
volume = {305},
pages = {123--139},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.305.9},
doi = {10.4204/EPTCS.305.9},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-07659.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-07663,
author = {Pascal Caron and
Edwin Hamel{-}De le Court and
Jean{-}Gabriel Luque},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Algebraic and Combinatorial Tools for State Complexity : Application
to the Star-Xor Problem},
booktitle = {Proceedings Tenth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
2019},
series = {{EPTCS}},
volume = {305},
pages = {154--168},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.305.11},
doi = {10.4204/EPTCS.305.11},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-07663.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-07676,
author = {{\'{E}}milie Charlier and
C{\'{e}}lia Cisternino and
Adeline Massuir},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Jean{-}Fran{\c{c}}ois Raskin},
title = {State Complexity of the Multiples of the Thue-Morse Set},
booktitle = {Proceedings Tenth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
2019},
series = {{EPTCS}},
volume = {305},
pages = {34--49},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.305.3},
doi = {10.4204/EPTCS.305.3},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-07676.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08538,
author = {Daniel Neider and
Alexander Weinert and
Martin Zimmermann},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Robust, Expressive, and Quantitative Linear Temporal Logics: Pick
any Two for Free},
booktitle = {Proceedings Tenth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
2019},
series = {{EPTCS}},
volume = {305},
pages = {1--16},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.305.1},
doi = {10.4204/EPTCS.305.1},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08538.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08541,
author = {Paritosh K. Pandya and
Amol Wakankar},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Specification and Optimal Reactive Synthesis of Run-time Enforcement
Shields},
booktitle = {Proceedings Tenth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
2019},
series = {{EPTCS}},
volume = {305},
pages = {91--106},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.305.7},
doi = {10.4204/EPTCS.305.7},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08541.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08543,
author = {Kitti Gelle and
Szabolcs Iv{\'{a}}n},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Jean{-}Fran{\c{c}}ois Raskin},
title = {On the Order Type of Scattered Context-Free Orderings},
booktitle = {Proceedings Tenth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
2019},
series = {{EPTCS}},
volume = {305},
pages = {169--182},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.305.12},
doi = {10.4204/EPTCS.305.12},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08543.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1909-05979,
editor = {J{\'{e}}r{\^{o}}me Leroux and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Proceedings Tenth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September
2019},
series = {{EPTCS}},
volume = {305},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.305},
doi = {10.4204/EPTCS.305},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05979.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/BozzelliMP18,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Timed Context-Free Temporal Logics},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {235--249},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.17},
doi = {10.4204/EPTCS.277.17},
timestamp = {Wed, 07 Dec 2022 23:00:49 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/BozzelliMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Tentrup16,
author = {Jesko Hecking{-}Harbusch and
Leander Tentrup},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Solving {QBF} by Abstraction},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {88--102},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.7},
doi = {10.4204/EPTCS.277.7},
timestamp = {Wed, 24 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tentrup16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1808-00710,
author = {Pietro Galliani},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Safe Dependency Atoms and Possibility Operators in Team Semantics},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {58--72},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.5},
doi = {10.4204/EPTCS.277.5},
timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-00710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03093,
author = {Arno Pauly},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Parameterized Games and Parameterized Automata},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {30--42},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.3},
doi = {10.4204/EPTCS.277.3},
timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03093.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03094,
author = {Federico Aschieri and
Agata Ciabattoni and
Francesco A. Genco},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Classical Proofs as Parallel Programs},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {43--57},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.4},
doi = {10.4204/EPTCS.277.4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03095,
author = {{\'{E}}ric Goubault and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed
Task Computability},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {73--87},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.6},
doi = {10.4204/EPTCS.277.6},
timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03097,
author = {Lisette Sanchez and
Wieger Wesselink and
Tim A. C. Willemse},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {A Comparison of BDD-Based Parity Game Solvers},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {103--117},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.8},
doi = {10.4204/EPTCS.277.8},
timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03098,
author = {Petra van den Bos and
Mari{\"{e}}lle Stoelinga},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Tester versus Bug: {A} Generic Framework for Model-Based Testing via
Games},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {118--132},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.9},
doi = {10.4204/EPTCS.277.9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03099,
author = {A. R. Balasubramanian},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Parameterized Verification of Coverability in Well-Structured Broadcast
Networks},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {133--146},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.10},
doi = {10.4204/EPTCS.277.10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03100,
author = {Michele Chiari and
Dino Mandrioli and
Matteo Pradella},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Temporal Logic and Model Checking for Operator Precedence Languages},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {161--175},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.12},
doi = {10.4204/EPTCS.277.12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03101,
author = {Luca Geatti and
Nicola Gigante and
Angelo Montanari and
Mark Reynolds},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {One-Pass and Tree-Shaped Tableau Systems for {TPTL} and TPTLb+Past},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {176--190},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.13},
doi = {10.4204/EPTCS.277.13},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03103,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Complexity of Timeline-Based Planning over Dense Temporal Domains:
Exploring the Middle Ground},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {191--205},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.14},
doi = {10.4204/EPTCS.277.14},
timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03104,
author = {Marcin Przybylko},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {On Computing the Measures of First-Order Definable Sets of Trees},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {206--219},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.15},
doi = {10.4204/EPTCS.277.15},
timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03104.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03106,
author = {Thiago Alves Rocha and
Ana Teresa C. Martins and
Francicleber Martins Ferreira},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {On Finding a First-Order Sentence Consistent with a Sample of Strings},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {220--234},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.16},
doi = {10.4204/EPTCS.277.16},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03107,
author = {Patricia Bouyer and
Mauricio Gonz{\'{a}}lez and
Nicolas Markey and
Mickael Randour},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Multi-weighted Markov Decision Processes with Reachability Objectives},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {250--264},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.18},
doi = {10.4204/EPTCS.277.18},
timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03108,
author = {Dana Angluin and
Dana Fisman},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Regular omega-Languages with an Informative Right Congruence},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {265--279},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.19},
doi = {10.4204/EPTCS.277.19},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03887,
author = {Alexander Weinert},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Quantitative Reductions and Vertex-Ranked Infinite Games},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {1--15},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.1},
doi = {10.4204/EPTCS.277.1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03887.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03888,
author = {Thomas Brihaye and
V{\'{e}}ronique Bruy{\`{e}}re and
Aline Goeminne and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Constrained Existence Problem for Weak Subgame Perfect Equilibria
with {\(\omega\)}-Regular Boolean Objectives},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {16--29},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.2},
doi = {10.4204/EPTCS.277.2},
timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03888.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03889,
author = {Tobias R. Gundersen and
Florian Lorber and
Ulrik Nyman and
Christian Ovesen},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Effortless Fault Localisation: Conformance Testing of Real-Time Systems
in Ecdar},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {147--160},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.11},
doi = {10.4204/EPTCS.277.11},
timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03889.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1809-02416,
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277},
doi = {10.4204/EPTCS.277},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-02416.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Denkinger17,
author = {Tobias Denkinger},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Approximation of weighted automata with storage},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {91--105},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.7},
doi = {10.4204/EPTCS.256.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Denkinger17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KuusistoR17,
author = {Antti Kuusisto and
Fabian Reiter},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Emptiness Problems for Distributed Automata},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {210--222},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.15},
doi = {10.4204/EPTCS.256.15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KuusistoR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-04845,
author = {Karoliina Lehtinen},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {The descriptive complexity of modal mu model-checking parity games},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {76--90},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.6},
doi = {10.4204/EPTCS.256.6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-04845.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02092,
author = {Aleksandar S. Dimovski},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Probabilistic Analysis Based On Symbolic Game Semantics and Model
Counting},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {1--15},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.1},
doi = {10.4204/EPTCS.256.1},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02093,
author = {Lisa Hutschenreiter and
Christel Baier and
Joachim Klein},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Parametric Markov Chains: {PCTL} Complexity and Fraction-free Gaussian
Elimination},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {16--30},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.2},
doi = {10.4204/EPTCS.256.2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02093.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02094,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {On the Complexity of Model Checking for Syntactically Maximal Fragments
of the Interval Temporal Logic {HS} with Regular Expressions},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {31--45},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.3},
doi = {10.4204/EPTCS.256.3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02096,
author = {St{\'{e}}phane Le Roux and
{\'{E}}rik Martin{-}Dorel and
Jan{-}Georg Smaus},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {An Existence Theorem of Nash Equilibrium in Coq and Isabelle},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {46--60},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.4},
doi = {10.4204/EPTCS.256.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02097,
author = {Domenico Cantone and
Alfio Giarlotta and
Stephen Watson},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {61--75},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.5},
doi = {10.4204/EPTCS.256.5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02098,
author = {Manfred Droste and
Temur Kutsia and
George Rahonis and
Wolfgang Schreiner},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {MK-fuzzy Automata and {MSO} Logics},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {106--120},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.8},
doi = {10.4204/EPTCS.256.8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02099,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Robust Exponential Worst Cases for Divide-et-Impera Algorithms for
Parity Games},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {121--135},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.9},
doi = {10.4204/EPTCS.256.9},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02100,
author = {Thomas Brihaye and
Gilles Geeraerts and
Marion Hallet and
St{\'{e}}phane Le Roux},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Dynamics and Coalitions in Sequential Games},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {136--150},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.10},
doi = {10.4204/EPTCS.256.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02101,
author = {John Christopher McCabe{-}Dansted and
Mark Reynolds},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {A Parallel Linear Temporal Logic Tableau},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {166--179},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.12},
doi = {10.4204/EPTCS.256.12},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02102,
author = {David M{\"{u}}ller and
Salomon Sickert},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {{LTL} to Deterministic Emerson-Lei Automata},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {180--194},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.13},
doi = {10.4204/EPTCS.256.13},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02102.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02103,
author = {Stefano Tonetta},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Linear-time Temporal Logic with Event Freezing Functions},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {195--209},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.14},
doi = {10.4204/EPTCS.256.14},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02104,
author = {Dario Della Monica and
Angelo Montanari and
Pietro Sala},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Beyond {\(\omega\)}BS-regular Languages: {\(\omega\)}T-regular Expressions
and Counter-Check Automata},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {223--237},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.16},
doi = {10.4204/EPTCS.256.16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02104.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02105,
author = {Ra{\'{u}}l Pardo and
Gerardo Schneider},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Model Checking Social Network Models},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {238--252},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.17},
doi = {10.4204/EPTCS.256.17},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02106,
author = {Simon Busard and
Charles Pecheur},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {A Backward-traversal-based Approach for Symbolic Model Checking of
Uniform Strategies for Constrained Reachability},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {253--267},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.18},
doi = {10.4204/EPTCS.256.18},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02107,
author = {Laura Bozzelli and
Aniello Murano},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {On the Complexity of {ATL} and ATL* Module Checking},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {268--282},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.19},
doi = {10.4204/EPTCS.256.19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02108,
author = {Andrei Sandler and
Olga Tveretina},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {ParaPlan: {A} Tool for Parallel Reachability Analysis of Planar Polygonal
Differential Inclusion Systems},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {283--296},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.20},
doi = {10.4204/EPTCS.256.20},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-03539,
author = {Martin Zimmermann},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Finite-state Strategies in Delay Games},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {151--165},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.11},
doi = {10.4204/EPTCS.256.11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-03539.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1709-01761,
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi {San Pietro}},
title = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
year = {2017},
url = {http://arxiv.org/abs/1709.01761},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-01761.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/0001P16b,
author = {St{\'{e}}phane Le Roux and
Arno Pauly},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {A Semi-Potential for Finite and Infinite Sequential Games (Extended
Abstract)},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {242--256},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.17},
doi = {10.4204/EPTCS.226.17},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/0001P16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Ah-FatH16,
author = {Patrick Ah{-}Fat and
Michael Huth},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Partial Solvers for Parity Games: Effective Polynomial-Time Composition},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {1--15},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.1},
doi = {10.4204/EPTCS.226.1},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ah-FatH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ArecesFHM16,
author = {Carlos Areces and
Raul Fervari and
Guillaume Hoffmann and
Mauricio Martel},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Relation-Changing Logics as Fragments of Hybrid Logics},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {16--29},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.2},
doi = {10.4204/EPTCS.226.2},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ArecesFHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BenerecettiDM16,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {A Delayed Promotion Policy for Parity Games},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {30--45},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.3},
doi = {10.4204/EPTCS.226.3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BenerecettiDM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BezhanishviliK16,
author = {Nick Bezhanishvili and
Clemens Kupke},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Games for Topological Fixpoint Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {46--60},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.4},
doi = {10.4204/EPTCS.226.4},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BezhanishviliK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BouyerMS16,
author = {Patricia Bouyer and
Nicolas Markey and
Daniel Stan},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Stochastic Equilibria under Imprecise Deviations in Terminal-Reward
Concurrent Games},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {61--75},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.5},
doi = {10.4204/EPTCS.226.5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BouyerMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Model Checking the Logic of Allen's Relations Meets and Started-by
is P\({}^{\mbox{NP}}\)-Complete},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {76--90},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.6},
doi = {10.4204/EPTCS.226.6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BresolinMS16,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {On the Expressive Power of Sub-Propositional Fragments of Modal Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {91--104},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.7},
doi = {10.4204/EPTCS.226.7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BresolinMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Bruse16,
author = {Florian Bruse},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Alternation Is Strict For Higher-Order Modal Fixpoint Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {105--119},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.8},
doi = {10.4204/EPTCS.226.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bruse16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BruseK016,
author = {Florian Bruse and
Daniel Kernberger and
Martin Lange},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {A Canonical Model Construction for Iteration-Free {PDL} with Intersection},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {120--134},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.9},
doi = {10.4204/EPTCS.226.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BruseK016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BruyereHR16,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
Quentin Hautem and
Mickael Randour},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Window parity games: an alternative approach toward parity games with
time bounds},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {135--148},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.10},
doi = {10.4204/EPTCS.226.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BruyereHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DrosteR16,
author = {Manfred Droste and
George Rahonis},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Weighted Linear Dynamic Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {149--163},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.11},
doi = {10.4204/EPTCS.226.11},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DrosteR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FontaineMMPS16,
author = {Ga{\"{e}}lle Fontaine and
Fabio Mogavero and
Aniello Murano and
Giuseppe Perelli and
Loredana Sorrentino},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Cycle Detection in Computation Tree Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {164--177},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.12},
doi = {10.4204/EPTCS.226.12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FontaineMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GantyV16,
author = {Pierre Ganty and
Damir Valput},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Bounded-oscillation Pushdown Automata},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {178--197},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.13},
doi = {10.4204/EPTCS.226.13},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GantyV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HannulaKLV16,
author = {Miika Hannula and
Juha Kontinen and
Martin L{\"{u}}ck and
Jonni Virtema},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {On Quantified Propositional Logics and the Exponential Time Hierarchy},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {198--212},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.14},
doi = {10.4204/EPTCS.226.14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HannulaKLV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HutagalungHK0L16,
author = {Milka Hutagalung and
Norbert Hundeshagen and
Dietrich Kuske and
Martin Lange and
{\'{E}}tienne Lozes},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Multi-Buffer Simulations for Trace Language Inclusion},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {213--227},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.15},
doi = {10.4204/EPTCS.226.15},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HutagalungHK0L16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JacobsTZ15,
author = {Swen Jacobs and
Leander Tentrup and
Martin Zimmermann},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Distributed {PROMPT-LTL} Synthesis},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {228--241},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.16},
doi = {10.4204/EPTCS.226.16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JacobsTZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LibalV16,
author = {Tomer Libal and
Marco Volpe},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Certification of Prefixed Tableau Proofs for Modal Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {257--271},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.18},
doi = {10.4204/EPTCS.226.18},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LibalV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Nakamura16,
author = {Yoshiki Nakamura},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {The Almost Equivalence by Asymptotic Probabilities for Regular Languages
and Its Computational Complexities},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {272--286},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.19},
doi = {10.4204/EPTCS.226.19},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Nakamura16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Reynolds16a,
author = {Mark Reynolds},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {A New Rule for {LTL} Tableaux},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {287--301},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.20},
doi = {10.4204/EPTCS.226.20},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Reynolds16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/TentrupWZ15,
author = {Leander Tentrup and
Alexander Weinert and
Martin Zimmermann},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential
Time},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {302--315},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.21},
doi = {10.4204/EPTCS.226.21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TentrupWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CantoneD16,
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226},
doi = {10.4204/EPTCS.226},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CantoneD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AbdullaDM15,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Marco Montali},
editor = {Javier Esparza and
Enrico Tronci},
title = {Well Structured Transition Systems with History},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {115--128},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.9},
doi = {10.4204/EPTCS.193.9},
timestamp = {Fri, 09 Apr 2021 18:27:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbdullaDM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BouyerMRLL15,
author = {Patricia Bouyer and
Nicolas Markey and
Mickael Randour and
Kim Guldstrand Larsen and
Simon Laursen},
editor = {Javier Esparza and
Enrico Tronci},
title = {Average-energy games},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {1--15},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.1},
doi = {10.4204/EPTCS.193.1},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BouyerMRLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DimitrovaM15,
author = {Rayna Dimitrova and
Rupak Majumdar},
editor = {Javier Esparza and
Enrico Tronci},
title = {Reachability Analysis of Reversal-bounded Automata on Series-Parallel
Graphs},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {100--114},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.8},
doi = {10.4204/EPTCS.193.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DimitrovaM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DurandKRV15,
author = {Arnaud Durand and
Juha Kontinen and
Nicolas de Rugy{-}Altherre and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
editor = {Javier Esparza and
Enrico Tronci},
title = {Tractability Frontier of Data Complexity in Team Semantics},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {73--85},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.6},
doi = {10.4204/EPTCS.193.6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DurandKRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GazdaW15,
author = {Maciej Gazda and
Tim A. C. Willemse},
editor = {Javier Esparza and
Enrico Tronci},
title = {Improvement in Small Progress Measures},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {158--171},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.12},
doi = {10.4204/EPTCS.193.12},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GazdaW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GuptaS14c,
author = {Anshul Gupta and
Sven Schewe and
Dominik Wojtczak},
editor = {Javier Esparza and
Enrico Tronci},
title = {Making the Best of Limited Memory in Multi-Player Discounted Sum Games},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {16--30},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.2},
doi = {10.4204/EPTCS.193.2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GuptaS14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HellaS15,
author = {Lauri Hella and
Johanna Stumpf},
editor = {Javier Esparza and
Enrico Tronci},
title = {The expressive power of modal logic with inclusion atoms},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {129--143},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.10},
doi = {10.4204/EPTCS.193.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HellaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Hoffmann15a,
author = {Philipp Hoffmann},
editor = {Javier Esparza and
Enrico Tronci},
title = {Negotiation Games},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {31--42},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.3},
doi = {10.4204/EPTCS.193.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Hoffmann15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LaroussinieMS15,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey and
Arnaud Sangnier},
editor = {Javier Esparza and
Enrico Tronci},
title = {ATLsc with partial observation},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {43--57},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.4},
doi = {10.4204/EPTCS.193.4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LaroussinieMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ManciniMMMT15,
author = {Toni Mancini and
Federico Mari and
Annalisa Massini and
Igor Melatti and
Enrico Tronci},
editor = {Javier Esparza and
Enrico Tronci},
title = {Simulator Semantics for System Level Formal Verification},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {86--99},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.7},
doi = {10.4204/EPTCS.193.7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ManciniMMMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Sinya15a,
author = {Ryoma Sin'ya},
editor = {Javier Esparza and
Enrico Tronci},
title = {An Automata Theoretic Approach to the Zero-One Law for Regular Languages:
Algorithmic and Logical Aspects},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {172--185},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.13},
doi = {10.4204/EPTCS.193.13},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Sinya15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Wurm15,
author = {Christian Wurm},
editor = {Javier Esparza and
Enrico Tronci},
title = {Synchronous Subsequentiality and Approximations to Undecidable Problems},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {58--72},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.5},
doi = {10.4204/EPTCS.193.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Wurm15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Zimmermann15c,
author = {Martin Zimmermann},
editor = {Javier Esparza and
Enrico Tronci},
title = {Parameterized Linear Temporal Logics Meet Costs: Still not Costlier
than {LTL}},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {144--157},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.11},
doi = {10.4204/EPTCS.193.11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Zimmermann15c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/EsparzaT15,
editor = {Javier Esparza and
Enrico Tronci},
title = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193},
doi = {10.4204/EPTCS.193},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EsparzaT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Ben-Amram14,
author = {Amir M. Ben{-}Amram},
editor = {Adriano Peron and
Carla Piazza},
title = {The Hardness of Finding Linear Ranking Functions for Lasso Programs},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {32--45},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.6},
doi = {10.4204/EPTCS.161.6},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ben-Amram14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BoiretHNT14,
author = {Adrien Boiret and
Vincent Hugot and
Joachim Niehren and
Ralf Treinen},
editor = {Adriano Peron and
Carla Piazza},
title = {Deterministic Automata for Unordered Trees},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {189--202},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.17},
doi = {10.4204/EPTCS.161.17},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BoiretHNT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BresolinEVY14,
author = {Davide Bresolin and
Khaled El{-}Fakih and
Tiziano Villa and
Nina Yevtushenko},
editor = {Adriano Peron and
Carla Piazza},
title = {Deterministic Timed Finite State Machines: Equivalence Checking and
Expressive Power},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {203--216},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.18},
doi = {10.4204/EPTCS.161.18},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BresolinEVY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BruseFL14,
author = {Florian Bruse and
Michael Falk and
Martin Lange},
editor = {Adriano Peron and
Carla Piazza},
title = {The Fixpoint-Iteration Algorithm for Parity Games},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {116--130},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.12},
doi = {10.4204/EPTCS.161.12},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BruseFL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CrescenzoTV14,
author = {Ilaria De Crescenzo and
Salvatore La Torre and
Yaron Velner},
editor = {Adriano Peron and
Carla Piazza},
title = {Visibly Pushdown Modular Games},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {260--274},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.22},
doi = {10.4204/EPTCS.161.22},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CrescenzoTV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DelzannoTT14,
author = {Giorgio Delzanno and
Michele Tatarek and
Riccardo Traverso},
editor = {Adriano Peron and
Carla Piazza},
title = {Model Checking Paxos in Spin},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {131--146},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.13},
doi = {10.4204/EPTCS.161.13},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DelzannoTT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/EneaHIP14,
author = {Constantin Enea and
Peter Habermehl and
Omar Inverso and
Gennaro Parlato},
editor = {Adriano Peron and
Carla Piazza},
title = {On the Path-Width of Integer Linear Programming},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {74--87},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.9},
doi = {10.4204/EPTCS.161.9},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EneaHIP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FaymonvilleZ14,
author = {Peter Faymonville and
Martin Zimmermann},
editor = {Adriano Peron and
Carla Piazza},
title = {Parametric Linear Dynamic Logic},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {60--73},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.8},
doi = {10.4204/EPTCS.161.8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/FaymonvilleZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FinkbeinerO14,
author = {Bernd Finkbeiner and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Adriano Peron and
Carla Piazza},
title = {Petri Games: Synthesis of Distributed Systems with Causal Memory},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {217--230},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.19},
doi = {10.4204/EPTCS.161.19},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FinkbeinerO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JaskolkaK14,
author = {Jason Jaskolka and
Ridha Kh{\'{e}}dri},
editor = {Adriano Peron and
Carla Piazza},
title = {A Formulation of the Potential for Communication Condition using {C2KA}},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {161--174},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.15},
doi = {10.4204/EPTCS.161.15},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JaskolkaK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KrishnaMT14a,
author = {Shankara Narayanan Krishna and
Lakshmi Manasa and
Ashutosh Trivedi},
editor = {Adriano Peron and
Carla Piazza},
title = {Improved Undecidability Results for Reachability Games on Recursive
Timed Automata},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {245--259},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.21},
doi = {10.4204/EPTCS.161.21},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/KrishnaMT14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Kuusisto14,
author = {Antti Kuusisto},
editor = {Adriano Peron and
Carla Piazza},
title = {Some Turing-Complete Extensions of First-Order Logic},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {4--17},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.4},
doi = {10.4204/EPTCS.161.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kuusisto14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Kuusisto14a,
author = {Antti Kuusisto},
editor = {Adriano Peron and
Carla Piazza},
title = {Infinite Networks, Halting and Local Algorithms},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {147--160},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.14},
doi = {10.4204/EPTCS.161.14},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kuusisto14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LodingW14,
author = {Christof L{\"{o}}ding and
Sarah Winter},
editor = {Adriano Peron and
Carla Piazza},
title = {Synthesis of Deterministic Top-down Tree Transducers from Automatic
Tree Relations},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {88--101},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.10},
doi = {10.4204/EPTCS.161.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LodingW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MontanariS14,
author = {Angelo Montanari and
Pietro Sala},
editor = {Adriano Peron and
Carla Piazza},
title = {Interval-based Synthesis},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {102--115},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.11},
doi = {10.4204/EPTCS.161.11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MontanariS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/OsadaFRS14,
author = {Yuki Osada and
Tim French and
Mark Reynolds and
Harry Smallbone},
editor = {Adriano Peron and
Carla Piazza},
title = {Hourglass Automata},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {175--188},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.16},
doi = {10.4204/EPTCS.161.16},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/OsadaFRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Przybylko14,
author = {Marcin Przybylko},
editor = {Adriano Peron and
Carla Piazza},
title = {Tree games with regular objectives},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {231--244},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.20},
doi = {10.4204/EPTCS.161.20},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Przybylko14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Virtema14,
author = {Jonni Virtema},
editor = {Adriano Peron and
Carla Piazza},
title = {Complexity of validity for propositional dependence logics},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {18--31},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.5},
doi = {10.4204/EPTCS.161.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Virtema14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Wurm14,
author = {Christian Wurm},
editor = {Adriano Peron and
Carla Piazza},
title = {Kleene Algebras, Regular Languages and Substructural Logics},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {46--59},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.7},
doi = {10.4204/EPTCS.161.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Wurm14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/PeronP14,
editor = {Adriano Peron and
Carla Piazza},
title = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161},
doi = {10.4204/EPTCS.161},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PeronP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BersaniRP13,
author = {Marcello Maria Bersani and
Matteo Rossi and
Pierluigi {San Pietro}},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Deciding the Satisfiability of {MITL} Specifications},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {64--78},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.8},
doi = {10.4204/EPTCS.119.8},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BersaniRP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Bresolin13,
author = {Davide Bresolin},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Improving HyLTL model checking of hybrid systems},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {79--92},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.9},
doi = {10.4204/EPTCS.119.9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Bresolin13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ChatterjeeHKL13,
author = {Krishnendu Chatterjee and
Monika Henzinger and
Sebastian Krinninger and
Veronika Loitzenbauer},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Approximating the minimum cycle mean},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {136--149},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.13},
doi = {10.4204/EPTCS.119.13},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChatterjeeHKL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Dimovski13,
author = {Aleksandar S. Dimovski},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Slot Games for Detecting Timing Leaks of Programs},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {166--179},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.15},
doi = {10.4204/EPTCS.119.15},
timestamp = {Fri, 28 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Dimovski13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FogartyKVW13,
author = {Seth Fogarty and
Orna Kupferman and
Moshe Y. Vardi and
Thomas Wilke},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Profile Trees for B{\"{u}}chi Word Automata, with Application
to Determinization},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {107--121},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.11},
doi = {10.4204/EPTCS.119.11},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FogartyKVW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GazdaW13,
author = {Maciej Gazda and
Tim A. C. Willemse},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Zielonka's Recursive Algorithm: dull, weak and solitaire games and
tighter bounds},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {7--20},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.4},
doi = {10.4204/EPTCS.119.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GazdaW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HuthKP13,
author = {Michael Huth and
Jim Huan{-}Pu Kuo and
Nir Piterman},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {The Rabin index of parity games},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {35--49},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.6},
doi = {10.4204/EPTCS.119.6},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HuthKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JamrogaMS13,
author = {Wojciech Jamroga and
Artur Meski and
Maciej Szreter},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Modularity and Openness in Modeling Multi-Agent Systems},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {224--239},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.19},
doi = {10.4204/EPTCS.119.19},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JamrogaMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LabaiM13,
author = {Nadia Labai and
Johann A. Makowsky},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Weighted Automata and Monadic Second Order Logic},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {122--135},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.12},
doi = {10.4204/EPTCS.119.12},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LabaiM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LaroussinieM13,
author = {Fran{\c{c}}ois Laroussinie and
Nicolas Markey},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Satisfiability of {ATL} with strategy contexts},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {208--223},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.18},
doi = {10.4204/EPTCS.119.18},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LaroussinieM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MonicaNP13,
author = {Dario Della Monica and
Margherita Napoli and
Mimmo Parente},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Model checking coalitional games in shortage resource scenarios},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {240--255},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.20},
doi = {10.4204/EPTCS.119.20},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MonicaNP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PierroW13,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Probabilistic data flow analysis: a linear equational approach},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {150--165},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.14},
doi = {10.4204/EPTCS.119.14},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PierroW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Reynolds13,
author = {Mark Reynolds},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {A Faster Tableau for {CTL}},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {50--63},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.7},
doi = {10.4204/EPTCS.119.7},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Reynolds13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Vester13,
author = {Steen Vester},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Alternating-time temporal logic with finite-memory strategies},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {194--207},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.17},
doi = {10.4204/EPTCS.119.17},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Vester13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1304-5438,
author = {Thomas Brihaye and
Quentin Menet},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Fairly Correct Systems: Beyond omega-regularity},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {21--34},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.5},
doi = {10.4204/EPTCS.119.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-5438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1305-4288,
author = {Pietro Galliani},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Upwards Closed Dependencies in Team Semantics},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {93--106},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.10},
doi = {10.4204/EPTCS.119.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-4288.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1305-5050,
author = {Krzysztof R. Apt and
Sunil Simon},
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Social Network Games with Obligatory Product Selection},
booktitle = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
pages = {180--193},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119.16},
doi = {10.4204/EPTCS.119.16},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-5050.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/PuppisV13,
editor = {Gabriele Puppis and
Tiziano Villa},
title = {Proceedings Fourth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites,
Italy, 29-31th August 2013},
series = {{EPTCS}},
volume = {119},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.119},
doi = {10.4204/EPTCS.119},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/PuppisV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1110-5942,
author = {Yang Cai and
Ting Zhang},
editor = {Marco Faella and
Aniello Murano},
title = {Can Nondeterminism Help Complementation?},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {57--70},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.5},
doi = {10.4204/EPTCS.96.5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-5942.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2448,
author = {Marta Capiluppi and
Roberto Segala},
editor = {Marco Faella and
Aniello Murano},
title = {Modelling Implicit Communication in Multi-Agent Systems with Hybrid
Input/Output Automata},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {1--14},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.1},
doi = {10.4204/EPTCS.96.1},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2448.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2449,
author = {Chung{-}Hao Huang and
Doron A. Peled and
Sven Schewe and
Farn Wang},
editor = {Marco Faella and
Aniello Murano},
title = {Rapid Recovery for Systems with Scarce Faults},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {15--28},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.2},
doi = {10.4204/EPTCS.96.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2449.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2450,
author = {Pavol Cern{\'{y}} and
Martin Chmelik and
Thomas A. Henzinger and
Arjun Radhakrishna},
editor = {Marco Faella and
Aniello Murano},
title = {Interface Simulation Distances},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {29--42},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.3},
doi = {10.4204/EPTCS.96.3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2450.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2451,
author = {Martin Lange and
{\'{E}}tienne Lozes and
Manuel Vargas Guzm{\'{a}}n},
editor = {Marco Faella and
Aniello Murano},
title = {Model-Checking Process Equivalences},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {43--56},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.4},
doi = {10.4204/EPTCS.96.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2451.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2452,
author = {Stephan Barth and
Martin Hofmann},
editor = {Marco Faella and
Aniello Murano},
title = {Learn with {SAT} to Minimize B{\"{u}}chi Automata},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {71--84},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.6},
doi = {10.4204/EPTCS.96.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2452.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2453,
author = {Alessandro Solimando and
Giorgio Delzanno and
Giovanna Guerrini},
editor = {Marco Faella and
Aniello Murano},
title = {Automata-based Static Analysis of {XML} Document Adaptation},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {85--98},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.7},
doi = {10.4204/EPTCS.96.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2453.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2454,
author = {Aleksandar S. Dimovski},
editor = {Marco Faella and
Aniello Murano},
title = {Symbolic Representation of Algorithmic Game Semantics},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {99--112},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.8},
doi = {10.4204/EPTCS.96.8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2454.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2455,
author = {Julian Gutierrez and
Felix Klaedtke and
Martin Lange},
editor = {Marco Faella and
Aniello Murano},
title = {The {\(\mu\)}-Calculus Alternation Hierarchy Collapses over Structures
with Restricted Connectivity},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {113--126},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.9},
doi = {10.4204/EPTCS.96.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2456,
author = {Ricardo Almeida and
Sabine Broda and
Nelma Moreira},
editor = {Marco Faella and
Aniello Murano},
title = {Deciding {KAT} and Hoare Logic with Derivatives},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {127--140},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.10},
doi = {10.4204/EPTCS.96.10},
timestamp = {Mon, 11 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2456.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2457,
author = {Daniel Neider and
Roman Rabinovich and
Martin Zimmermann},
editor = {Marco Faella and
Aniello Murano},
title = {Down the Borel Hierarchy: Solving Muller Games via Safety Games},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {169--182},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.13},
doi = {10.4204/EPTCS.96.13},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2458,
author = {Wladimir Fridman and
Martin Zimmermann},
editor = {Marco Faella and
Aniello Murano},
title = {Playing Pushdown Parity Games in a Hurry},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {183--196},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.14},
doi = {10.4204/EPTCS.96.14},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2459,
author = {Felix Canavoi and
Erich Gr{\"{a}}del and
Roman Rabinovich},
editor = {Marco Faella and
Aniello Murano},
title = {The discrete strategy improvement algorithm for parity games and complexity
measures for directed graphs},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {197--209},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.15},
doi = {10.4204/EPTCS.96.15},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2459.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2460,
author = {Pawel Parys},
editor = {Marco Faella and
Aniello Murano},
title = {Higher-Order Pushdown Systems with Data},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {210--223},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.16},
doi = {10.4204/EPTCS.96.16},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2460.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2461,
author = {Domenico Cantone and
Cristiano Longo},
editor = {Marco Faella and
Aniello Murano},
title = {A decidable quantified fragment of set theory with ordered pairs and
some undecidable extensions},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {224--237},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.17},
doi = {10.4204/EPTCS.96.17},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2461.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2462,
author = {Alex Kruckman and
Sasha Rubin and
John Sheridan and
Ben Zax},
editor = {Marco Faella and
Aniello Murano},
title = {A Myhill-Nerode theorem for automata with advice},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {238--246},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.18},
doi = {10.4204/EPTCS.96.18},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2462.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2463,
author = {Szczepan Hummel},
editor = {Marco Faella and
Aniello Murano},
title = {Unambiguous Tree Languages Are Topologically Harder Than Deterministic
Ones},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {247--260},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.19},
doi = {10.4204/EPTCS.96.19},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2463.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2479,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Marco Faella and
Aniello Murano},
title = {Interval Temporal Logics over Strongly Discrete Linear Orders: the
Complete Picture},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {155--168},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.12},
doi = {10.4204/EPTCS.96.12},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2481,
author = {Jakub Michaliszyn and
Jan Otop and
Piotr Witkowski},
editor = {Marco Faella and
Aniello Murano},
title = {Satisfiability vs. Finite Satisfiability in Elementary Modal Logics},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {141--154},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.11},
doi = {10.4204/EPTCS.96.11},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2481.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1210-2028,
editor = {Marco Faella and
Aniello Murano},
title = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96},
doi = {10.4204/EPTCS.96},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1103-1065,
author = {V{\'{a}}clav Brozek},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Optimal Strategies in Infinite-state Stochastic Reachability Games},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {60--73},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.5},
doi = {10.4204/EPTCS.54.5},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-1065.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1228,
author = {Yoad Lustig and
Moshe Y. Vardi},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Synthesis from Recursive-Components Libraries},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {1--16},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.1},
doi = {10.4204/EPTCS.54.1},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1229,
author = {Christian Appold},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Improving {BDD} Based Symbolic Model Checking with Isomorphism Exploiting
Transition Relations},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {17--30},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.2},
doi = {10.4204/EPTCS.54.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1230,
author = {Stefan Haar and
Christian Kern and
Stefan Schwoon},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Computing the Reveals Relation in Occurrence Nets},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {31--44},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.3},
doi = {10.4204/EPTCS.54.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1230.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1231,
author = {Federico Buti and
Massimo Callisto De Donato and
Flavio Corradini and
Maria Rita Di Berardini and
Walter Vogler},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Automated Analysis of {MUTEX} Algorithms with {FASE}},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {45--59},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.4},
doi = {10.4204/EPTCS.54.4},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1231.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1232,
author = {Krishnendu Chatterjee and
Nathana{\"{e}}l Fijalkow},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {A reduction from parity games to simple stochastic games},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {74--86},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.6},
doi = {10.4204/EPTCS.54.6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1233,
author = {Bastien Maubert and
Sophie Pinchinat and
Laura Bozzelli},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Opacity Issues in Games with Imperfect Information},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {87--101},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.7},
doi = {10.4204/EPTCS.54.7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1234,
author = {Makoto Tatsuta and
Ferruccio Damiani},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Type Inference for Bimorphic Recursion},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {102--115},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.8},
doi = {10.4204/EPTCS.54.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1234.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1235,
author = {Zhilin Wu},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {A Decidable Extension of Data Automata},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {116--130},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.9},
doi = {10.4204/EPTCS.54.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1235.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1236,
author = {Sten Gr{\"{u}}ner and
Frank G. Radmacher and
Wolfgang Thomas},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Connectivity Games over Dynamic Networks},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {131--145},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.10},
doi = {10.4204/EPTCS.54.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1236.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1237,
author = {Martin Zimmermann},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Optimal Bounds in Parametric {LTL} Games},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {146--161},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.11},
doi = {10.4204/EPTCS.54.11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1237.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1239,
author = {Laura Bozzelli},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {New results on pushdown module checking with imperfect information},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {162--177},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.12},
doi = {10.4204/EPTCS.54.12},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1239.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1240,
author = {R{\"{u}}diger Ehlers and
Bernd Finkbeiner},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Reactive Safety},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {178--191},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.13},
doi = {10.4204/EPTCS.54.13},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1240.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1241,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {An Optimal Decision Procedure for {MPNL} over the Integers},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {192--206},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.14},
doi = {10.4204/EPTCS.54.14},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1242,
author = {Markus Latte},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Separation of Test-Free Propositional Dynamic Logics over Context-Free
Languages},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {207--221},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.15},
doi = {10.4204/EPTCS.54.15},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1243,
author = {Giacomo Lenzi},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {On P-transitive graphs and applications},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {222--236},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.16},
doi = {10.4204/EPTCS.54.16},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1243.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1244,
author = {Davide Bresolin and
Marta Capiluppi},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {237--249},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.17},
doi = {10.4204/EPTCS.54.17},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1244.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1245,
author = {Olga Tveretina and
Daniel Funke},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Deciding Reachability for 3-Dimensional Multi-Linear Systems},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {250--262},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.18},
doi = {10.4204/EPTCS.54.18},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1245.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1246,
author = {Massimo Benerecetti and
Marco Faella and
Stefano Minopoli},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Towards Efficient Exact Synthesis for Linear Hybrid Systems},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {263--277},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.19},
doi = {10.4204/EPTCS.54.19},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1106-0814,
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54},
doi = {10.4204/EPTCS.54},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-0814.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1402,
author = {Hugo Gimbert and
Wieslaw Zielonka},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Blackwell-Optimal Strategies in Priority Mean-Payoff Games},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {7--21},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.5},
doi = {10.4204/EPTCS.25.5},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1402.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1403,
author = {Krishnendu Chatterjee and
Rupak Majumdar},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Discounting in Games across Time Scales},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {22--29},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.6},
doi = {10.4204/EPTCS.25.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1404,
author = {Julien Cristau and
Claire David and
Florian Horn},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {How do we remember the past in randomised strategies?},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {30--39},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.7},
doi = {10.4204/EPTCS.25.7},
timestamp = {Sun, 05 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1404.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1405,
author = {Lubos Brim and
Jakub Chaloupka},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Using Strategy Improvement to Stay Alive},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {40--54},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.8},
doi = {10.4204/EPTCS.25.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1406,
author = {Giovanna D'Agostino and
Giacomo Lenzi},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {On Modal {\(\mu\)}-Calculus over Finite Graphs with Bounded Strongly
Connected Components},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {55--71},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.9},
doi = {10.4204/EPTCS.25.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1407,
author = {Davide Bresolin and
Pietro Sala and
Guido Sciavicco},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Begin, After, and Later: a Maximal Decidable Interval Temporal Logic},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {72--88},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.10},
doi = {10.4204/EPTCS.25.10},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1407.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1408,
author = {Andreas Morgenstern and
Klaus Schneider},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property
for Efficient {LTL} Synthesis},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {89--102},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.11},
doi = {10.4204/EPTCS.25.11},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1408.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1409,
author = {Oliver Friedmann and
Martin Lange},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Local Strategy Improvement for Parity Game Solving},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {118--131},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.13},
doi = {10.4204/EPTCS.25.13},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1409.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1410,
author = {John Fearnley and
Martin Zimmermann},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Playing Muller Games in a Hurry},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {146--161},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.15},
doi = {10.4204/EPTCS.25.15},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1410.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1411,
author = {Ivan Fial{\'{\i}}k},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Unitary Noise and the Mermin-GHZ Game},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {188--198},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.18},
doi = {10.4204/EPTCS.25.18},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1411.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1412,
author = {Marco Bernardo},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {On the Expressiveness of Markovian Process Calculi with Durational
and Durationless Actions},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {199--213},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.19},
doi = {10.4204/EPTCS.25.19},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1412.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1413,
author = {Davide Ancona and
Giovanni Lagorio},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Coinductive subtyping for abstract compilation of object-oriented
languages into Horn formulas},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {214--230},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.20},
doi = {10.4204/EPTCS.25.20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1413.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1414,
author = {Catalin Dima and
Constantin Enea and
Dimitar P. Guelev},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Model-Checking an Alternating-time Temporal Logic with Knowledge,
Imperfect Information, Perfect Recall and Communicating Coalitions},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {103--117},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.12},
doi = {10.4204/EPTCS.25.12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1414.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1415,
author = {Wladimir Fridman},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Formats of Winning Strategies for Six Types of Pushdown Games},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {132--145},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.14},
doi = {10.4204/EPTCS.25.14},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1415.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1416,
author = {Christian Appold},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic
Model Checking},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {173--187},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.17},
doi = {10.4204/EPTCS.25.17},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1416.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-2992,
author = {Soumya Paul and
Ramaswamy Ramanujam},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Imitation in Large Games},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {162--172},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.16},
doi = {10.4204/EPTCS.25.16},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-2992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1006-1711,
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25},
doi = {10.4204/EPTCS.25},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1711.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 02:33 CEST from data curated 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
