27 citations · 58 across the 13 of their papers we have counts for
1 paper · 1 filter
Davide Bresolin, Angelo Montanari, Pietro Sala +1
Interval temporal logics provide a natural framework for qualitative and quantitative temporal reason- ing over interval structures, where the truth of formulae is defined over int…