Almost event-rate independent monitoring

David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic, Dmitriy Traytel. Almost event-rate independent monitoring. Formal Methods in System Design, 54(3):449-478, 2019. [doi]

Abstract

Abstract is missing.