13 citations · 65 across the 15 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 13 cited
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
Laura Bozzelli, Alberto Molinari, Angelo Montanari +2
In the last years, model checking with interval temporal logics is emerging as a viable alternative to model checking with standard point-based temporal logics, such as LTL, CTL, C…
cs.LO2017★ 1 cited
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…