{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:57:07Z","timestamp":1776333427429,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,4,15]],"date-time":"2025-04-15T00:00:00Z","timestamp":1744675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Spanish Ministry of Science and Innovation","award":["PID2021-123368OB-I00"],"award-info":[{"award-number":["PID2021-123368OB-I00"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,4,15]]},"DOI":"10.1145\/3723498.3723719","type":"proceedings-article","created":{"date-parts":[[2025,5,9]],"date-time":"2025-05-09T12:04:41Z","timestamp":1746792281000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Explaining and Clustering Playtraces Using Temporal Logics"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6702-5726","authenticated-orcid":false,"given":"Pablo","family":"Guti\u00e9rrez-S\u00e1nchez","sequence":"first","affiliation":[{"name":"Software Engineering and Artificial Intelligence, Complutense University of Madrid, Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1958-0212","authenticated-orcid":false,"given":"Diego","family":"P\u00e9rez-Li\u00e9bana","sequence":"additional","affiliation":[{"name":"Queen Mary University of London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0283-8312","authenticated-orcid":false,"given":"Raluca D","family":"Gaina","sequence":"additional","affiliation":[{"name":"Queen Mary University of London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,9]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"[n. d.]. Explainable AI | Royal Society. https:\/\/royalsociety.org\/news-resources\/projects\/explainable-ai\/"},{"key":"e_1_3_3_1_3_2","unstructured":"[n. d.]. Explicit or Symbolic Translation of Linear Temporal Logic to Automata. Thesis. https:\/\/scholarship.rice.edu\/handle\/1911\/71687"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","unstructured":"A.\u00a0W. Biermann and J.\u00a0A. Feldman. 1972. On the Synthesis of Finite-State Machines from Samples of Their Behavior. IEEE Trans. Comput. C-21 6 (June 1972) 592\u2013597. 10.1109\/TC.1972.5009015","DOI":"10.1109\/TC.1972.5009015"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","unstructured":"Boyan Bontchev and Olga Georgieva. 2018. Playing style recognition through an adaptive video game. Computers in Human Behavior 82 (May 2018) 136\u2013147. 10.1016\/j.chb.2017.12.040","DOI":"10.1016\/j.chb.2017.12.040"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","unstructured":"Cameron\u00a0B. Browne Edward Powley Daniel Whitehouse Simon\u00a0M. Lucas Peter\u00a0I. Cowling Philipp Rohlfshagen Stephen Tavener Diego Perez Spyridon Samothrakis and Simon Colton. 2012. A Survey of Monte Carlo Tree Search Methods. IEEE Transactions on Computational Intelligence and AI in Games 4 1 (2012) 1\u201343. 10.1109\/TCIAIG.2012.2186810","DOI":"10.1109\/TCIAIG.2012.2186810"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN41052.2019.8972130"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","unstructured":"Javier Esparza Jan K\u0159et\u00ednsk\u00fd Jean-Fran\u00e7ois Raskin and Salomon Sickert. 2022. From linear temporal logic and limit-deterministic B\u00fcchi automata to deterministic parity automata. International Journal on Software Tools for Technology Transfer 24 4 (Aug. 2022) 635\u2013659. 10.1007\/s10009-022-00663-1","DOI":"10.1007\/s10009-022-00663-1"},{"key":"e_1_3_3_1_9_2","volume-title":"NIPS: Neural Information Processing Systems Conference On-line trading of Exploration and Exploitation Workshop","author":"Gelly Sylvain","year":"2006","unstructured":"Sylvain Gelly and Yizao Wang. 2006. Exploration exploitation in go: UCT for Monte-Carlo go. In NIPS: Neural Information Processing Systems Conference On-line trading of Exploration and Exploitation Workshop."},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/11814771_40"},{"key":"e_1_3_3_1_11_2","series-title":"CEUR Workshop Proceedings","volume-title":"Actas del I Congreso Espa\u00f1ol de Videojuegos, Madrid, Spain, December 1-2, 2022","volume":"3305","author":"Guti\u00e9rrez-S\u00e1nchez Pablo","year":"2022","unstructured":"Pablo Guti\u00e9rrez-S\u00e1nchez, Marco\u00a0Antonio G\u00f3mez-Mart\u00edn, Pedro\u00a0A. Gonz\u00e1lez-Calero, and Pedro\u00a0Pablo G\u00f3mez-Mart\u00edn. 2022. Liquid Snake: a test environment for video game testing agents. In Actas del I Congreso Espa\u00f1ol de Videojuegos, Madrid, Spain, December 1-2, 2022(CEUR Workshop Proceedings, Vol.\u00a03305), Ra\u00fal Lara-Cabrera and Antonio Jos\u00e9\u00a0Fern\u00e1ndez Leiva (Eds.). CEUR-WS.org. https:\/\/ceur-ws.org\/Vol-3305\/paper7.pdf"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","unstructured":"Pablo Guti\u00e9rrez-S\u00e1nchez Marco G\u00f3mez-Mart\u00edn Pedro Gonzalez-Calero and Pedro G\u00f3mez-Mart\u00edn. 2024. A Progress-Based Algorithm for Interpretable Reinforcement Learning in Regression Testing. IEEE Transactions on Games PP (01 2024) 1\u201310. 10.1109\/TG.2024.3426601","DOI":"10.1109\/TG.2024.3426601"},{"key":"e_1_3_3_1_13_2","unstructured":"D. Hadka. [n. d.]. MOEA Framework: A Free and Open Source Java Framework for Multiobjective Optimization (Version 4.5) [Computer Software]. https:\/\/github.com\/MOEAFramework\/MOEAFramework. [Accessed 24-10-2024]."},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","unstructured":"Mohammadhosein Hasanbeig Natasha\u00a0Yogananda Jeppu Alessandro Abate Tom Melham and Daniel Kroening. 2021. DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. 10.48550\/arXiv.1911.10244arXiv:https:\/\/arXiv.org\/abs\/1911.10244 [cs stat].","DOI":"10.48550\/arXiv.1911.10244"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","unstructured":"Branden Ingram Clint van Alten Richard Klein and Benjamin Rosman. 2023. Generating Interpretable Play-Style Descriptions Through Deep Unsupervised Clustering of Trajectories. IEEE Transactions on Games 15 4 (Dec. 2023) 507\u2013516. 10.1109\/TG.2023.3299074","DOI":"10.1109\/TG.2023.3299074"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","unstructured":"Daniel Kasenberg and Matthias Scheutz. 2017. Interpretable Apprenticeship Learning with Temporal Logic Specifications. 10.48550\/arXiv.1710.10532arXiv:https:\/\/arXiv.org\/abs\/1710.10532 [cs].","DOI":"10.48550\/arXiv.1710.10532"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","unstructured":"Xiao Li Zachary Serlin Guang Yang and Calin Belta. 2019. A formal methods approach to interpretable reinforcement learning for robotic planning. Science Robotics 4 37 (Dec. 2019) eaay6276. 10.1126\/scirobotics.aay6276","DOI":"10.1126\/scirobotics.aay6276"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206234"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Naveen\u00a0Sai Madiraju Seid\u00a0M. Sadat Dimitry Fisher and Homa Karimabadi. 2018. Deep Temporal Clustering : Fully Unsupervised Learning of Time-Domain Features. 10.48550\/arXiv.1802.01059arXiv:https:\/\/arXiv.org\/abs\/1802.01059 [cs stat].","DOI":"10.48550\/arXiv.1802.01059"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","unstructured":"Robert\u00a0I McKay Nguyen\u00a0Xuan Hoai Peter\u00a0Alexander Whigham Yin Shan and Michael O\u2019neill. 2010. Grammar-based genetic programming: a survey. Genetic Programming and Evolvable Machines 11 (2010) 365\u2013396.","DOI":"10.1007\/s10710-010-9109-y"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-78717-6_2"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"Michael O\u2019Neill and Conor Ryan. 2003. Grammatical Evolution: Evolutionary Automatic Programming in a Arbitrary Language volume 4 of Genetic programming.","DOI":"10.1007\/978-1-4615-0447-4_2"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_14"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","unstructured":"Marco\u00a0Tulio Ribeiro Sameer Singh and Carlos Guestrin. 2016. Model-Agnostic Interpretability of Machine Learning. 10.48550\/arXiv.1606.05386arXiv:https:\/\/arXiv.org\/abs\/1606.05386 [cs stat].","DOI":"10.48550\/arXiv.1606.05386"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","unstructured":"Peter\u00a0J. Rousseeuw. 1987. Silhouettes: A graphical aid to the interpretation and validation of cluster analysis. J. Comput. Appl. Math. 20 (1987) 53\u201365. 10.1016\/0377-0427(87)90125-7","DOI":"10.1016\/0377-0427(87)90125-7"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","unstructured":"Rajarshi Roy Jean-Rapha\u00ebl Gaglione Nasim Baharisangari Daniel Neider Zhe Xu and Ufuk Topcu. 2023. Learning Interpretable Temporal Properties from Positive Examples Only. Proceedings of the AAAI Conference on Artificial Intelligence 37 5 (June 2023) 6507\u20136515. 10.1609\/aaai.v37i5.25800","DOI":"10.1609\/aaai.v37i5.25800"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/3534678.3539179"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","unstructured":"Josep Valls-Vargas Santiago Onta\u00f1\u00f3n and Jichen Zhu. 2015. Exploring Player Trace Segmentation for Dynamic Play Style Prediction. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment 11 1 (2015) 93\u201399. 10.1609\/aiide.v11i1.12782","DOI":"10.1609\/aiide.v11i1.12782"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","unstructured":"Marcell Vazquez-Chanlatte Susmit Jha Ashish Tiwari Mark\u00a0K. Ho and Sanjit\u00a0A. Seshia. 2018. Learning Task Specifications from Demonstrations. 10.48550\/arXiv.1710.03875arXiv:https:\/\/arXiv.org\/abs\/1710.03875 [cs].","DOI":"10.48550\/arXiv.1710.03875"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","unstructured":"Junyuan Xie Ross Girshick and Ali Farhadi. 2016. Unsupervised Deep Embedding for Clustering Analysis. 10.48550\/arXiv.1511.06335arXiv:https:\/\/arXiv.org\/abs\/1511.06335 [cs].","DOI":"10.48550\/arXiv.1511.06335"},{"key":"e_1_3_3_1_32_2","unstructured":"Xuan Zhao and Marcos Campos. 2021. Reinforcement Learning Agent Training with Goals for Real World Tasks. arXiv:https:\/\/arXiv.org\/abs\/2107.10390 [cs] (July 2021). http:\/\/arxiv.org\/abs\/2107.10390 arXiv:https:\/\/arXiv.org\/abs\/2107.10390."}],"event":{"name":"FDG '25: International Conference on the Foundations of Digital Games","location":"Vienna & Graz Austria","acronym":"FDG '25"},"container-title":["Proceedings of the 20th International Conference on the Foundations of Digital Games"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723498.3723719","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3723498.3723719","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:56:45Z","timestamp":1750298205000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723498.3723719"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,15]]},"references-count":31,"alternative-id":["10.1145\/3723498.3723719","10.1145\/3723498"],"URL":"https:\/\/doi.org\/10.1145\/3723498.3723719","relation":{},"subject":[],"published":{"date-parts":[[2025,4,15]]},"assertion":[{"value":"2025-05-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}