{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T22:55:54Z","timestamp":1740178554486,"version":"3.37.3"},"reference-count":8,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"ERC Consolidator Grant D-SynMA","award":["772459"],"award-info":[{"award-number":["772459"]}]},{"name":"Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/lcsys.2023.3290727","type":"journal-article","created":{"date-parts":[[2023,6,29]],"date-time":"2023-06-29T17:30:32Z","timestamp":1688059832000},"page":"2881-2885","source":"Crossref","is-referenced-by-count":0,"title":["Games for Efficient Supervisor Synthesis"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0935-8602","authenticated-orcid":false,"given":"Daniel","family":"Hausmann","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, University of Gothenburg, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6225-9147","authenticated-orcid":false,"given":"Prabhat Kumar","family":"Jha","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8242-5357","authenticated-orcid":false,"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of Gothenburg, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1991.185392"},{"key":"ref7","first-page":"1386","article-title":"An O(n2) time algorithm for alternating büchi games","author":"chatterjee","year":"2012","journal-title":"Proc SODA"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3143108"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-015-0223-0"},{"journal-title":"Personal communication","year":"2020","author":"ehlers","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.2541"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7782633\/9828546\/10168190.pdf?arnumber=10168190","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,18]],"date-time":"2023-07-18T20:59:09Z","timestamp":1689713949000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10168190\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/lcsys.2023.3290727","relation":{},"ISSN":["2475-1456"],"issn-type":[{"type":"electronic","value":"2475-1456"}],"subject":[],"published":{"date-parts":[[2023]]}}}