Some Issues About Verifying Interactive Narrative Structures
Jean-Hugues Réty, Nicolas Szilas
Abstract:
We sketch out in this paper some issues about applying model checking techniques to verification of interactive narrative structures.
Published in:
proceedings of Workshop on Narrative, Musical, Cinematic and Gaming Hyperstructure, In conjunction with ACM Hypertext’05, 2005. Short Paper.