Analysis and verification of navigation strategies by abstract interpretation of cellular automata

Academic Article

Publication Date:

2012

abstract:

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.

Iris type:

1.1 Articolo in rivista

Keywords:

abstract interpretation; navigation strategies; cellular automata

List of contributors: