32 citations · 104 across the 17 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…