40 citations · 44 across the 19 of their papers we have counts for
4 papers · 1 filter
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…
Complexity results for modal logic with recursion via translations and tableaux
Luca Aceto, Antonis Achilleos, Elli Anastasiadi +2
This paper studies the complexity of classical modal logics and of their extension with fixed-point operators, using translations to transfer results across logics. In particular,…
If At First You Don't Succeed: Extended Monitorability through Multiple Executions
Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb
This paper studies the extent to which branching-time properties can be adequately verified using runtime monitors. We depart from the classical setup where monitoring is limited t…
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…