An Automaton Group with PSPACE-Complete Word Problem.

Jan Philipp Wächter Armin Weiß

Published in: Theory Comput. Syst. (2023)

Keyphrases

pspace complete
word problems
tree automata
np complete
model checking
decision problems
satisfiability problem
strips planning
regular expressions
temporal logic
finite state
learning process
xml documents
np hard
finite automata