Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete
- Publication date
- 1 January 2023
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 34th International Conference on Concurrency Theory (CONCUR 2023)