{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T08:58:15Z","timestamp":1783501095606,"version":"3.55.0"},"reference-count":23,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","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":"DFG","award":["389792660 RR 248\u2013CPEC"],"award-info":[{"award-number":["389792660 RR 248\u2013CPEC"]}]},{"name":"DFG","award":["SCHM 3541\/1-1"],"award-info":[{"award-number":["SCHM 3541\/1-1"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2023,1]]},"DOI":"10.1109\/tac.2022.3143108","type":"journal-article","created":{"date-parts":[[2022,1,13]],"date-time":"2022-01-13T20:29:03Z","timestamp":1642105743000},"page":"385-392","source":"Crossref","is-referenced-by-count":5,"title":["Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game"],"prefix":"10.1109","volume":"68","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2136-0542","authenticated-orcid":false,"given":"Rupak","family":"Majumdar","sequence":"first","affiliation":[{"name":"MPI-SWS, Kaiserslautern, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2801-639X","authenticated-orcid":false,"given":"Anne-Kathrin","family":"Schmuck","sequence":"additional","affiliation":[{"name":"MPI-SWS, Kaiserslautern, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-77452-7","volume-title":"Supervisory Control of Discrete-Event Systems (Communications and Control Engineering Series)","author":"Wonham","year":"2019"},{"key":"ref4","first-page":"367","article-title":"Control of $\\omega$-automata, Churchs problem, and the emptiness problem for tree $\\omega$-automata","volume-title":"Proc. Int. Workshop Comput. Sci. Log.","author":"Thistle","year":"1991"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012991217524"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012991217536"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01439153"},{"key":"ref8","first-page":"3","article-title":"Applications of recursive arithmetic to the problem of circuit synthesis","volume-title":"Summaries Summer Inst. Symbolic Log.","volume":"I","author":"Church","year":"1957"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_76"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00193-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/5.871305"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-015-0223-0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.2541"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8795696"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2948270"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15375-4_20"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BF01782772"},{"key":"ref18","article-title":"Supervisory controller synthesis for non-terminating processes is an obliging game","author":"Majumdar","year":"2020"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1991.185392"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1988.21949"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_57"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17465-1_13"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/10002258\/09681315.pdf?arnumber=9681315","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,13]],"date-time":"2024-01-13T22:06:14Z","timestamp":1705183574000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9681315\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1]]},"references-count":23,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tac.2022.3143108","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,1]]}}}