Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata
Gianluca Amato, Francesca Scozzari
Motion in Games, November 2012, pp. 378--381.
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.
Article URL: http://dx.doi.org/10.1007/978-3-642-34710-8_37
BibTeX format:
@incollection{Amato:2012:AAV,
  author = {Gianluca Amato and Francesca Scozzari},
  title = {Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata},
  booktitle = {Motion in Games},
  pages = {378--381},
  month = nov,
  year = {2012},
}
Search for more articles by Gianluca Amato.
Search for more articles by Francesca Scozzari.

Return to the search page.

graphbib: Powered by "bibsql" and "SQLite3."