12 citations · 13 across the 3 of their papers we have counts for
4 papers
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification
Pierre Ganty, Dario Della Monica
This volume contains the proceedings of the 13th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2022). The aim of GandALF 2022 symposium is to b…
Good-for-Game QPTL: An Alternating Hodges Semantics
Dylan Bellier, Massimo Benerecetti, Dario Della Monica +1
An extension of QPTL is considered where functional dependencies among the quantified variables can be restricted in such a way that their current values are independent of the fut…
Beyond BS-regular Languages: T-regular Expressions and Counter-Check Automata
Dario Della Monica, Angelo Montanari, Pietro Sala
In the last years, various extensions of ω-regular languages have been proposed in the literature, including ωB-regular (ω-regular languages extended with boundedness), ωS-regular…
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
Davide Bresolin, Dario Della Monica, Angelo Montanari +2
Interval temporal logics provide a general framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive onto…