1 Answers
In model checking, the Metric Interval Temporal Logic is a fragment of Metric Temporal Logic. This fragment is often preferred to MTL because some problems that are undecidable for MTL become decidable for MITL.
4 views
Answered