3 citations · 3 across the 1 of their papers we have counts for
1 paper
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…