@misc{indiciaea96f663bda8a,
  title = {Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete},
  author = {Shankara Narayanan Krishna and Khushraj Nanik Madnani and Rupak Majumdar and Paritosh K. Pandya},
  year = {2023},
  url = {https://arxiv.org/abs/2309.00386},
  note = {Source identifier: 2309.00386}
}