Login / Signup

Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata.

Gianluca AmatoFrancesca 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