{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T20:00:11Z","timestamp":1781726411747,"version":"3.54.5"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T00:00:00Z","timestamp":1692576000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T00:00:00Z","timestamp":1692576000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,8,21]]},"DOI":"10.1109\/cog57401.2023.10333208","type":"proceedings-article","created":{"date-parts":[[2023,12,4]],"date-time":"2023-12-04T18:48:21Z","timestamp":1701715701000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Reinforcement Learning with Temporal Logic Specifications for Regression Testing NPCs in Video Games"],"prefix":"10.1109","author":[{"given":"Pablo","family":"Guti\u00e9rrez-S\u00e1nchez","sequence":"first","affiliation":[{"name":"Complutense University of Madrid,Software Engineering and Artificial Intelligence Department,Madrid,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco A.","family":"G\u00f3mez-Mart\u00edn","sequence":"additional","affiliation":[{"name":"Complutense University of Madrid,Software Engineering and Artificial Intelligence Department,Madrid,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pedro A.","family":"Gonz\u00e1lez-Calero","sequence":"additional","affiliation":[{"name":"Complutense University of Madrid,Software Engineering and Artificial Intelligence Department,Madrid,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pedro P.","family":"G\u00f3mez-Mart\u00edn","sequence":"additional","affiliation":[{"name":"Complutense University of Madrid,Software Engineering and Artificial Intelligence Department,Madrid,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Liquid snake: a test environment for video game testing agents","volume-title":"Actas del I Congreso Espa\u00f1ol de Videojuegos, Madrid, Spain, December 1-2, 2022","volume":"3305","author":"Guti\u00e9rrez-S\u00e1nchez","year":"2022"},{"key":"ref2","article-title":"Unity Real-Time Development Platform | 3D, 2D VR & AR Engine","year":"2022"},{"key":"ref3","article-title":"A Survey of Reinforcement Learning with Temporal Logic Rewards","author":"Liao","year":"2020"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/cdc.2014.7039363"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206234"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.aay6276"},{"key":"ref8","article-title":"Reinforcement Learning Agent Training with Goals for Real World Tasks","author":"Zhao","year":"2021"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3001875"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3047362"},{"key":"ref11","article-title":"Explicit or Symbolic Translation of Linear Temporal Logic to Automata","volume-title":"Thesis","author":"Rozier","year":"2013"},{"key":"ref12","article-title":"Spot \/ Spot \u2022 GitLab"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.7603\/s40601-013-0010-4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CoG47356.2020.9231552"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3130859.3131439"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TG.2019.2947597"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1609\/aiide.v17i1.18885"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TG.2018.2808198"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TG.2022.3226910"}],"event":{"name":"2023 IEEE Conference on Games (CoG)","location":"Boston, MA, USA","start":{"date-parts":[[2023,8,21]]},"end":{"date-parts":[[2023,8,24]]}},"container-title":["2023 IEEE Conference on Games (CoG)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10333091\/10333129\/10333208.pdf?arnumber=10333208","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,19]],"date-time":"2023-12-19T23:32:46Z","timestamp":1703028766000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10333208\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,21]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cog57401.2023.10333208","relation":{},"subject":[],"published":{"date-parts":[[2023,8,21]]}}}