{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T16:51:56Z","timestamp":1754153516050,"version":"3.41.2"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"accepted":{"date-parts":[[2025,4,29]]},"abstract":"<jats:p>The Church Problem asks for the construction of a procedure which, given a logical specification A(I,O) between input omega-strings I and output omega-strings O, determines whether there exists an operator F that implements the specification in the sense that A(I, F(I)) holds for all inputs I. Buchi and Landweber provided a procedure to solve the Church problem for MSO specifications and operators computable by finite-state automata. We investigate a generalization of the Church synthesis problem to the continuous time domain of the non-negative reals.   We show that in the continuous time domain there are phenomena which are very different from the canonical discrete time domain of the natural numbers.<\/jats:p>","DOI":"10.46298\/lmcs-21(3:8)2025","type":"journal-article","created":{"date-parts":[[2025,7,23]],"date-time":"2025-07-23T06:45:08Z","timestamp":1753253108000},"source":"Crossref","is-referenced-by-count":0,"title":["The Church Synthesis Problem over Continuous Time"],"prefix":"10.46298","volume":"Volume 21, Issue 3","author":[{"given":"Alexander","family":"Rabinovich","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Fattal","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2025,7,23]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/arxiv.org\/pdf\/2404.04782v4","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/arxiv.org\/pdf\/2404.04782v4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,23]],"date-time":"2025-07-23T06:45:08Z","timestamp":1753253108000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/13371"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,23]]},"references-count":0,"URL":"https:\/\/doi.org\/10.46298\/lmcs-21(3:8)2025","relation":{"has-preprint":[{"id-type":"arxiv","id":"2404.04782v2","asserted-by":"subject"},{"id-type":"arxiv","id":"2404.04782v1","asserted-by":"subject"}],"is-same-as":[{"id-type":"arxiv","id":"2404.04782","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.2404.04782","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2025,7,23]]},"article-number":"13371"}}