Login / Signup
Robustness against Power is PSPACE-complete.
Egor Derevenetc
Roland Meyer
Published in:
CoRR (2014)
Keyphrases
</>
pspace complete
np complete
satisfiability problem
model checking
decision problems
strips planning
exptime complete
computational complexity
np hard
causal graph
temporal logic
constraint satisfaction problems
finite state
data complexity
tree automata
decision makers
search algorithm