BibTeX record conf/icst/AnsariPDDK24

• > Home > conf/icst/AnsariPDDK24

@inproceedings{DBLP:conf/icst/AnsariPDDK24,
  author       = {Saba Gholizadeh Ansari and
                  I. S. W. B. Prasetya and
                  Mehdi Dastani and
                  Frank Dignum and
                  Gabriele Keller},
  title        = {EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications
                  in Computer Games},
  booktitle    = {{IEEE} Conference on Software Testing, Verification and Validation,
                  {ICST} 2024, Toronto, ON, Canada, May 27-31, 2024},
  pages        = {13--24},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/ICST60714.2024.00011},
  doi          = {10.1109/ICST60714.2024.00011},
  timestamp    = {Mon, 03 Mar 2025 21:11:26 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/AnsariPDDK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}