A Formally Verified Monitor for Metric First-Order Temporal Logic.

Joshua Schneider, David A. Basin, Srdan Krstic, Dmitriy Traytel

Browse the full RV paper archive.