EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games.

Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Frank Dignum, Gabriele Keller

Browse the full ICST paper archive.