Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete.

Mila E. Majster-Cederbaum Nils Semmelrock

Published in: GRAPHITE (2013)

Keyphrases

pspace complete
np complete
database systems
search algorithm
lower bound
query processing
data model
dynamic programming
state space
model checking
decision problems
strips planning