The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints.

Paritosh K. Pandya, Simoni S. Shah

Browse the full ATVA paper archive.