activity
20142026
most citedOn the Expressiveness and Monitoring of Metric Temporal Logic

4 citations · 8 across the 7 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.LO2024★ 1 cited

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics

Hsi-Ming Ho, Khushraj Madnani

Pnueli first noticed that certain simple 'counting' properties appear to be inexpressible in popular timed temporal logics such as Metric Interval Temporal Logic (MITL). This inter…