13 citations · 32 across the 18 of their papers we have counts for
1 paper · 2 filters
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh Pandya
Metric Temporal Logic $\mathsf{MTL}[\until_I,\since_I]$ is one of the most studied real time logics. It exhibits considerable diversity in expressiveness and decidability propertie…