Login / Signup

Bisimilarity of One-Counter Processes Is PSPACE-Complete.

Stanislav BöhmStefan GöllerPetr Jancar
Published in: CONCUR (2010)
Keyphrases
  • pspace complete
  • np complete
  • model checking
  • satisfiability problem
  • decision problems
  • strips planning
  • decision making
  • knowledge base
  • special case
  • hidden markov models
  • domain specific
  • exptime complete