Satisfiability checking of multi-variable TPTL with unilateral intervals is PSPACE-complete

DOI10.4230/LIPICS.CONCUR.2023.23MaRDI QIDQ6967324zbMATH OpenFDO

Authors Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya

Publication date 26 June 2025

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

decidabilitysatisfiabilityexpressivenessnon-punctualityATATPTL

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Satisfiability checking of multi-variable TPTL with unilateral intervals is PSPACE-complete

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6967324)