A Decidable Spatial Generalization of Metric Interval Temporal Logic.

Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco

Browse the full TIME paper archive.