Online Monitoring of Metric Temporal Logic

Hsi-Ming Ho, Joël Ouaknine, James Worrell. Online Monitoring of Metric Temporal Logic. In Borzoo Bonakdarpour, Scott A. Smolka, editors, Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Volume 8734 of Lecture Notes in Computer Science, pages 178-192, Springer, 2014. [doi]

Abstract

Abstract is missing.