activity
20112025
most citedThe Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version)

13 citations · 32 across the 18 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…