IRIS

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.

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

AMATO, Gianluca;SCOZZARI, Francesca
2012-01-01

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.
2012
LECTURE NOTES IN COMPUTER SCIENCE
Inglese
STAMPA
7660
378
381
4
5th International Conference, Motion in Games, MIG 2012
abstract interpretation; navigation strategies; cellular automata
http://link.springer.com/chapter/10.1007/978-3-642-34710-8_37
2-s2.0-84869801072
2
info:eu-repo/semantics/article
262
Amato, Gianluca; Scozzari, Francesca
1 Contributo su Rivista::1.1 Articolo in rivista
none
1.1 Articolo in rivista
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11564/329083
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact