Login / Signup

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

Shankara Narayanan KrishnaKhushraj Nanik MadnaniRupak MajumdarParitosh K. Pandya
Published in: CONCUR (2023)
Keyphrases
  • pspace complete
  • np complete
  • model checking
  • decision problems
  • satisfiability problem
  • strips planning
  • tree automata
  • np hard
  • temporal logic
  • causal graph