Login / Signup
Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata.
Gianluca Amato
Francesca Scozzari
Published in:
MIG (2012)
Keyphrases
</>
cellular automata
abstract interpretation
model checking
termination analysis
cellular automaton
dynamic analysis
pattern formation
cellular automata model
lattice gas