An Automaton Group with PSPACE-Complete Word Problem.

Jan Philipp Wächter Armin Weiß

Published in: STACS (2020)

Keyphrases

pspace complete
word problems
tree automata
np complete
model checking
satisfiability problem
decision problems
strips planning
regular expressions
similar problems
causal graph
search space
high school
finite automata
temporal logic
constraint satisfaction problems
np hard