Self-verifying Cellular Automata.

Martin Kutrib Thomas Worsch

Published in: ACRI (2018)

Keyphrases

cellular automata
cellular automaton
cellular automata model
pattern formation
predator prey
model checking
discrete dynamical systems
chaotic dynamics
lattice gas
multi agent
query language
reaction diffusion
cellular automaton model