Online Monitoring of Metric Temporal Logic.

Hsi-Ming Ho, Jol Ouaknine, James Worrell

Browse the full RV paper archive.