1 citations · 2 across the 13 of their papers we have counts for
1 paper · 1 filter
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…