Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks

Chuwei Wang, Xinyi Yu, Jianing Zhao +2

Online monitoring is a widely used technique in assessing if the performance of the system satisfies some desired requirements during run-time operation. Existing works on online m…