3 papers
cs.FL2024
Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
Antonis Achilleos, Adrian Francalanza
This volume contains the proceedings of GandALF 2024, the Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification. GandALF 2024 took place on 19-21 Ju…
cs.FL2023
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification
Antonis Achilleos, Dario Della Monica
This volume contains the proceedings of the 14th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). The aim of GandALF 2023 symposium is to…
cs.LO2023
Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes
Antonis Achilleos, Aggeliki Chalki
We present quantitative logics with two-step semantics based on the framework of quantitative logics introduced by Arenas et al. (2020) and the two-step semantics defined in the co…