Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers

Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo +1

Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent real-time extensions of Linear Temporal Logic (LTL). In general, the satisfiability checking…