Openness And Partial Adjacency In One Variable TPTL

Shankara Narayanan Krishna, Khushraj Madnani, Agnipratim Nag +1

Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) extend Linear Temporal Logic (LTL) for real-time constraints, with MTL using time-bounded modalities and T…