Comparing Implementations of Cellular Automata as Images: A Novel Approach to Verification by Combining Image Processing and Machine Learning.
Maciej K. WozniakPhilippe J. GiabbanelliPublished in: SIGSIM-PADS (2021)
Keyphrases
- cellular automata
- machine learning
- image processing
- image analysis
- image processing algorithms
- cellular automaton
- computer graphics
- edge detection
- cellular automata model
- input image
- image features
- image registration
- computer vision
- gel electrophoresis
- lattice gas
- image enhancement
- pattern formation
- rigid body
- digital imaging
- image classification
- image segmentation
- cellular automaton model
- discrete dynamical systems
- model checking
- dynamic environments
- path planner
- markov random field
- denoising