@article{satisfiabilitycheckingofmultivariable,
  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},
  eprint = {2309.00386},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2309.00386v1},
}