Self-verifying Cellular Automata

Martin Kutrib, Thomas Worsch. Self-verifying Cellular Automata. In Giancarlo Mauri, Samira El Yacoubi, Alberto Dennunzio, Katsuhiro Nishinari, Luca Manzoni, editors, Cellular Automata - 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018, Proceedings. Volume 11115 of Lecture Notes in Computer Science, pages 340-351, Springer, 2018. [doi]

Abstract

Abstract is missing.