Time Robustness for Point-Based Semantics of Metric Interval Temporal Logic.

Simone Silvetti, Ivan Compagnucci, Francesca Cairoli, Catia Trubiani, Laura Nenzi

Browse the full KR paper archive.