External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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. 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]

Authors

Saba Gholizadeh Ansari

This author has not been identified. Look up 'Saba Gholizadeh Ansari' in Google

I. S. W. B. Prasetya

This author has not been identified. Look up 'I. S. W. B. Prasetya' in Google

Mehdi Dastani

This author has not been identified. It may be one of the following persons: Look up 'Mehdi Dastani' in Google

Frank Dignum

This author has not been identified. Look up 'Frank Dignum' in Google

Gabriele Keller

This author has not been identified. Look up 'Gabriele Keller' in Google
runs on