Covert Computation in Staged Self-Assembly: Verification Is PSPACE-Complete.

David Caballero Timothy Gomez Robert T. Schweller Tim Wylie

Published in: ESA (2021)

Keyphrases

pspace complete
model checking
np complete
decision problems
temporal logic
satisfiability problem
finite state
exptime complete
strips planning
database
tree automata