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 2025Show all

1 paper · 1 filter

cs.FL2025

MightyPPL: Verification of MITL with Past and Pnueli Modalities

Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani +2

Metric Interval Temporal Logic (MITL) is a popular formalism for specifying properties of reactive systems with timing constraints. Existing approaches to using MITL in verificatio…