The journal version of “Verification in Staged Tile Self-Assembly” was accepted for publication in Natural Computing. The conference version was published in UCNC 2017 last year. The authors are Robert Schweller, Andrew Winslow, and Tim Wylie.
Algorithmic Self-Assembly Research Group