TY  - RPRT
TI  - Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers
AU  - Shankara Narayanan Krishna
AU  - Khushraj Madnani
AU  - Manuel Mazo Jr.
AU  - Paritosh K. Pandya
PY  - 2021
UR  - https://arxiv.org/abs/2105.09534
ID  - 2105.09534
ER  -