Interval Temporal Logic Semantics of Box Algebra.

Hanna Klaudel, Maciej Koutny, Zhenhua Duan

Browse the full LATA paper archive.