Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Frank Dignum, Gabriele Keller. EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games. In IEEE Conference on Software Testing, Verification and Validation, ICST 2024, Toronto, ON, Canada, May 27-31, 2024. pages 13-24, IEEE, 2024. [doi]
Abstract is missing.