Paper accepted to DNA 2020

The research group has a paper accepted to the 26th International Conference on DNA Computing and Molecular Programming (DNA). The paper is Verification and Computation in Restricted Tile Automata. The authors are David Caballero, Timothy Gomez, Robert Schweller, and Tim Wylie.