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

David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie

Browse the full ESA paper archive.