26 citations · 137 across the 24 of their papers we have counts for
1 paper · 2 filters
Nima Roohi, Mahesh Viswanathan
Metric Interval Temporal Logic (MITL) is a well studied real-time, temporal logic that has decidable satisfiability and model checking problems. The decision procedures for MITL re…