Login / Signup

Exploring Millions of 6-State FSSP Solutions: The Formal Notion of Local CA Simulation.

Tien Thao NguyenLuidnel Maignan
Published in: Automata (2020)
Keyphrases
  • cellular automata
  • optimal solution
  • real time
  • state space
  • simulation model
  • formal model
  • information retrieval
  • tens of thousands
  • mathematical theory
  • asynchronous cellular automata