Login / Signup
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete.
Shankara Narayanan Krishna
Khushraj Nanik Madnani
Rupak Majumdar
Paritosh K. Pandya
Published in:
CoRR (2023)
Keyphrases
</>
pspace complete
np complete
model checking
decision problems
satisfiability problem
strips planning
integrity constraints
phase transition