2024
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks
RA-L 2024
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 monitoring usually assume that the monitor can acquire system information periodically at each time instant, which may be