Determination of one-way bandwidth of cellular automata using Binary Decision Diagrams.
Andreas C. DöringPublished in: HPCS (2011)
Keyphrases
- cellular automata
- binary decision diagrams
- boolean functions
- symbolic model checking
- cellular automaton
- variable ordering
- cellular automata model
- knowledge compilation
- chaotic dynamics
- cellular automaton model
- planning problems
- model checking
- discrete dynamical systems
- database
- pattern formation
- lattice gas
- input output
- data structure
- path planner
- pedestrian dynamics
- reaction diffusion
- pattern mining
- complex systems