{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:23:10Z","timestamp":1776316990448,"version":"3.50.1"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T00:00:00Z","timestamp":1766188800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T00:00:00Z","timestamp":1766188800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T00:00:00Z","timestamp":1766188800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"accepted":{"date-parts":[[2025,10,29]]},"abstract":"<jats:p>Traces form a coarse notion of semantic equivalence between states of a process, and have been studied coalgebraically for various types of system. We instantiate the finitary coalgebraic trace semantics framework of Hasuo et al. for controller-versus-environment games, encompassing both nondeterministic and probabilistic environments. Although our choice of monads is guided by the constraints of this abstract framework, they enable us to recover familiar game-theoretic concepts. Concretely, we show that in these games, each element in the trace map corresponds to a collection (a subset or distribution) of plays the controller can force. Furthermore, each element can be seen as the outcome of following a controller strategy. Our results are parametrised by a weak distributive law, which computes what the controller can force in a single step.<\/jats:p>","DOI":"10.46298\/entics.16816","type":"journal-article","created":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T13:05:13Z","timestamp":1766235913000},"source":"Crossref","is-referenced-by-count":1,"title":["Traces via Strategies in Two-Player Games"],"prefix":"10.46298","volume":"Volume 5 - Proceedings of...","author":[{"given":"Benjamin","family":"Plummer","sequence":"first","affiliation":[]},{"given":"Corina","family":"Cirstea","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2025,12,20]]},"container-title":["Electronic Notes in Theoretical Informatics and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/arxiv.org\/pdf\/2510.24252v2","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/arxiv.org\/pdf\/2510.24252v2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T13:05:13Z","timestamp":1766235913000},"score":1,"resource":{"primary":{"URL":"https:\/\/entics.episciences.org\/16816"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,20]]},"references-count":0,"URL":"https:\/\/doi.org\/10.46298\/entics.16816","relation":{"is-same-as":[{"id-type":"arxiv","id":"2510.24252","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.2510.24252","asserted-by":"subject"}]},"ISSN":["2969-2431"],"issn-type":[{"value":"2969-2431","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,20]]},"article-number":"16816"}}