Sign in

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.

Masami HagiyaKoichi TakahashiMitsuharu YamamotoTakahiro Sato
Published in: FLOPS (2004)
Keyphrases
  • cellular automata
  • temporal logic
  • cellular automaton
  • lattice gas
  • modal logic
  • artificial intelligence
  • satisfiability problem
  • transition systems