3 citations · 6 across the 2 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…