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

Articolo

Data di Pubblicazione:

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.

Tipologia CRIS:

1.1 Articolo in rivista

Keywords:

abstract interpretation; navigation strategies; cellular automata

Elenco autori: