Robustness Measures and Monitors for Time Window Temporal Logic

Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron +1

Temporal logics (TLs) have been widely used to formalize interpretable tasks for cyber-physical systems. Time Window Temporal Logic (TWTL) has been recently proposed as a specifica…