Login / Signup

Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete.

Shankara Narayanan KrishnaKhushraj Nanik MadnaniRupak MajumdarParitosh K. Pandya
Published in: CoRR (2023)
Keyphrases
  • pspace complete
  • np complete
  • model checking
  • decision problems
  • satisfiability problem
  • strips planning
  • integrity constraints
  • phase transition