Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers.

Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya

Browse the full FM paper archive.