Verification and Computation in Restricted Tile Automata.

David Caballero Timothy Gomez Robert T. Schweller Tim Wylie

Published in: DNA (2020)

Keyphrases

database
cellular automata
efficient computation
finite automata
databases
case study
expert systems
model checking