@arxivlens.bsky.social

8 months ago

Active Monitoring with RTLola: A Specification-Guided Scheduling
Approach
Bernd Finkbeiner, Frederik Scheerer et al.
Paper
Details
#ActiveMonitoring #RTLola #SpecificationGuidedScheduling