13 citations · 32 across the 18 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 13 cited
The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version)
Paritosh K. Pandya, Simoni S. Shah
We study two unary fragments of the well-known metric interval temporal logic MITL[U_I,S_I] that was originally proposed by Alur and Henzinger, and we pin down their expressiveness…
cs.LO2013★ 3 cited
On the Decidability and Complexity of Some Fragments of Metric Temporal Logic
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
Metric Temporal Logic, $\mtlfull$ is amongst the most studied real-time logics. It exhibits considerable diversity in expressiveness and decidability properties based on the permit…