10 citations · 63 across the 43 of their papers we have counts for
1 paper · 2 filters
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…