Comparing Implementations of Cellular Automata as Images: A Novel Approach to Verification by Combining Image Processing and Machine Learning

Publication
Proceedings of the 2021 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 13-25