Monitoring temporal properties of continuous signals
Reasoning with Temporal Logic on Truncated Paths