Multi-head Monitoring of Metric Temporal Logic.

Martin Raszyk, David A. Basin, Srdan Krstic, Dmitriy Traytel

Browse the full ATVA paper archive.