13 citations · 14 across the 3 of their papers we have counts for
3 papers
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…
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.LO2011★ 1 cited
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing
Paritosh K. Pandya, Simoni S. Shah
Timed temporal logics exhibit a bewildering diversity of operators and the resulting decidability and expressiveness properties also vary considerably. We study the expressive powe…