Making Metric Temporal Logic Rational

Shankara Narayanan Krishna, Khushraj Madnani, P. K. Pandya

We study an extension of $\mtl$ in pointwise time with rational expression guarded modality $\reg_I(\re)$ where $\re$ is a rational expression over subformulae. We study the decida…