\input zb-basic
\input zb-ioport
\iteman{io-port 05792330}
\itemau{Verbrugge, Clark; Zhang, Peng}
\itemti{Analyzing computer game narratives.}
\itemso{Yang, Hyun Seung (ed.) et al., Entertainment computing -- ICEC 2010. 9th international conference, ICEC 2010, Seoul, Korea, September 8--11, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15398-3/pbk). Lecture Notes in Computer Science 6243, 224-231 (2010).}
\itemab
Summary: In many computer games narrative is a core component with the game centering on an unfolding, interactive storyline which both motivates and is driven by the game-play. Analyzing narratives to ensure good properties is thus important, but scalability remains a barrier to practical use. Here we develop a formal analysis system for interactive fiction narratives. Our approach is based on a relatively high-level game language, and borrows analysis techniques from compiler optimization to improve performance. We demonstrate our system on a variety of non-trivial narratives analyzing a basic reachability problem, the path to win the game. We are able to analyze narratives orders of magnitude larger than the previous state-of-the-art based on lower-level representations. This level of performance allows for verification of narrative properties at practical scales.
\itemrv{~}
\itemcc{}
\itemut{game narrative; verification; optimization; performance analysis}
\itemli{doi:10.1007/978-3-642-15399-0\_21}
\end