Verification and Computation in Restricted Tile Automata

David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie. Verification and Computation in Restricted Tile Automata. In Cody W. Geary, Matthew J. Patitz, editors, 26th International Conference on DNA Computing and Molecular Programming, DNA 26, September 14-17, 2020, Oxford, UK (Virtual Conference). Volume 174 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

Abstract

Abstract is missing.