Robustness against Power is PSpace-complete.

Egor Derevenetc Roland Meyer

Published in: ICALP (2) (2014)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
exptime complete
strips planning
temporal logic
tree automata
knowledge base
database systems
lower bound
special case
hidden markov models
utility function