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

摘要

We present a new approach to the analysis and verification of simple properties of character navigation. We model navigation strategies for virtual characters by cellular automata, and use standard abstract interpretation techniques for abstracting and verifying navigation properties.