Making Metric Temporal Logic Rational.

Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya

Browse the full MFCS paper archive.