Sign in
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.
Masami Hagiya
Koichi Takahashi
Mitsuharu Yamamoto
Takahiro Sato
Published in:
FLOPS (2004)
Keyphrases
</>
cellular automata
temporal logic
cellular automaton
lattice gas
modal logic
artificial intelligence
satisfiability problem
transition systems