Self-Verifying Cellular Automata.

Martin Kutrib Thomas Worsch

Published in: J. Cell. Autom. (2020)

Keyphrases

cellular automata
cellular automaton
cellular automata model
discrete dynamical systems
chaotic dynamics
lattice gas
evolutionary algorithm
model checking
predator prey
cellular automaton model
traffic flow
reaction diffusion
potts model
path planner
pedestrian dynamics
pattern formation