[2309.00386] Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete