TY  - RPRT
TI  - Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
AU  - Jan Baumeister
AU  - Bernd Finkbeiner
AU  - Frederik Scheerer
PY  - 2025
UR  - https://arxiv.org/abs/2507.20615
ID  - 2507.20615
ER  -