27 citations · 58 across the 13 of their papers we have counts for
1 paper · 1 filter
Davide Bresolin, Pietro Sala, Guido Sciavicco
Interval temporal logics (ITLs) are logics for reasoning about temporal statements expressed over intervals, i.e., periods of time. The most famous ITL studied so far is Halpern an…