Generalized Chat Noir is PSPACE-Complete.

Chuzo Iwamoto Yuta Mukai Yuichi Sumida Kenichi Morita

Published in: IEICE Trans. Inf. Syst. (2013)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
strips planning
email
temporal logic
constraint satisfaction problems
computational complexity
tree automata
machine learning
query processing
query language
phase transition