5 citations · 23 across the 18 of their papers we have counts for
1 paper · 1 filter
Luca Geatti, Nicola Gigante, Angelo Montanari +1
In this paper, we propose a novel one-pass and tree-shaped tableau method for Timed Propositional Temporal Logic and for a bounded variant of its extension with past operators. Tim…