Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. (English) Zbl 1436.68017

Electronic Proceedings in Theoretical Computer Science (EPTCS) 256. Waterloo: Open Publishing Association (OPA). 296 p., electronic only, open access (2017).

Show indexed articles as search result.

From the preface: This volume contains the proceedings of the Eighth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2017). The symposium took place in Roma, Italy, from the 20th to the 22nd of September 2017.
The articles of this volume will be reviewed individually. For the preceding symposium see [Zbl 1436.68019].
Indexed articles:
Dimovski, Aleksandar S., Probabilistic analysis based on symbolic game semantics and model counting, 1-15 [Zbl 1483.68077]
Hutschenreiter, Lisa; Baier, Christel; Klein, Joachim, Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination, 16-30 [Zbl 1483.68195]
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano, On the complexity of model checking for syntactically maximal fragments of the interval temporal logic HS with regular expressions, 31-45 [Zbl 1483.68186]
Le Roux, Stéphane; Martin-Dorel, Érik; Smaus, Jan-Georg, An existence theorem of Nash equilibrium in Coq and Isabelle, 46-60 [Zbl 1483.91014]
Cantone, Domenico; Giarlotta, Alfio; Watson, Stephen, The satisfiability problem for Boolean set theory with a choice correspondence, 61-75 [Zbl 1483.03029]
Lehtinen, Karoliina, The descriptive complexity of modal \(\mu\) model-checking games, 76-90 [Zbl 1483.68198]
Denkinger, Tobias, Approximation of weighted automata with storage, 91-105 [Zbl 1483.68161]
Droste, Manfred; Kutsia, Temur; Rahonis, George; Schreiner, Wolfgang, MK-fuzzy automata and MSO logics, 106-120 [Zbl 1483.68164]
Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio, Robust exponential worst cases for divide-et-impera algorithms for parity games, 121-135 [Zbl 1483.91049]
Brihaye, Thomas; Geeraerts, Gilles; Hallet, Marion; Le Roux, Stéphane, Dynamics and coalitions in sequential games, 136-150 [Zbl 1484.91041]
Zimmermann, Martin, Finite-state strategies in delay games, 151-165 [Zbl 1484.91014]
McCabe-Dansted, John C.; Reynolds, Mark, A parallel linear temporal logic tableau, 166-179 [Zbl 1483.68133]
Müller, David; Sickert, Salomon, LTL to deterministic Emerson-Lei automata, 180-194 [Zbl 1483.68177]
Tonetta, Stefano, Linear-time temporal logic with event freezing functions, 195-209 [Zbl 1483.68207]
Kuusisto, Antti; Reiter, Fabian, Emptiness problems for distributed automata, 210-222 [Zbl 1483.68173]
Della Monica, Dario; Montanari, Angelo; Sala, Pietro, Beyond \(\omega BS\)-regular languages: \(\omega T\)-regular expressions and counter-check automata, 223-237 [Zbl 1483.68160]
Pardo, Raúl; Schneider, Gerardo, Model checking social network models, 238-252 [Zbl 1483.68202]
Busard, Simon; Pecheur, Charles, A backward-traversal-based approach for symbolic model checking of uniform strategies for constrained reachability, 253-267 [Zbl 1483.68188]
Bozzelli, Laura; Murano, Aniello, On the complexity of \(\mathsf{ATL}\) and \(\mathsf{ATL}^*\) module checking, 268-282 [Zbl 1483.68187]
Sandler, Andrei; Tveretina, Olga, ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems, 283-296 [Zbl 1483.68205]


68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q45 Formal languages and automata
68Q60 Specification and verification (program logics, model checking, etc.)
91A80 Applications of game theory
00B25 Proceedings of conferences of miscellaneous specific interest


Zbl 1436.68019
Full Text: DOI arXiv Link