13 citations · 32 across the 18 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 1 cited
Partially Punctual Metric Temporal Logic is Decidable
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…
cs.FL2014
Deterministic Logics for UL
Paritosh K. Pandya, Simoni S. Shah
The class of Unambiguous Star-Free Regular Languages (UL) was defined by Schutzenberger as the class of languages defined by Unambiguous Polynomials. UL has been variously characte…