Almost Event-Rate Independent Monitoring of Metric Temporal Logic.

David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel

Browse the full TACAS paper archive.