TY  - RPRT
TI  - Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete
AU  - Shankara Narayanan Krishna
AU  - Khushraj Nanik Madnani
AU  - Rupak Majumdar
AU  - Paritosh K. Pandya
PY  - 2023
UR  - https://arxiv.org/abs/2309.00386
ID  - 2309.00386
ER  -