{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:05:51Z","timestamp":1750309551910,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:00:00Z","timestamp":1740096000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Natural Science Foundation of Fujian Province, China","award":["2023J01137"],"award-info":[{"award-number":["2023J01137"]}]},{"name":"the Natural Science Foundation of Xiamen, China","award":["3502Z20227191"],"award-info":[{"award-number":["3502Z20227191"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,2,21]]},"DOI":"10.1145\/3728725.3728795","type":"proceedings-article","created":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T21:00:02Z","timestamp":1749070802000},"page":"447-452","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of Real-time Linear Dynamic Logic over Finite Traces"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-2985-4734","authenticated-orcid":false,"given":"Chenglin","family":"Zhou","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Huaqiao University, Xiamen, Fujian, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-0845-0557","authenticated-orcid":false,"given":"Cheng","family":"Huang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Huaqiao University, Xiamen, Fujian, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5202-3189","authenticated-orcid":false,"given":"Xiangyu","family":"Luo","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Huaqiao University, Xiamen, Fujian, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,6,3]]},"reference":[{"key":"e_1_3_3_1_1_2","volume-title":"Logic, arithmetic, and automata. Journal of Symbolic Logic","author":"Church A.","year":"1964","unstructured":"Church A. Logic, arithmetic, and automata. Journal of Symbolic Logic, 1964, 29(4): 210-210."},{"key":"e_1_3_3_1_2_2","volume-title":"The collected works of J. Richard B\u00fcchi","author":"Buchi J R","year":"1990","unstructured":"Buchi J R, Landweber L H. The collected works of J. Richard B\u00fcchi. Berlin Heidelberg: Springer, 1990, 525-541."},{"issue":"4","key":"e_1_3_3_1_3_2","first-page":"289","article-title":"Application of recursive arithmetic to the problem of circuit synthesis","volume":"28","author":"Church A","year":"1963","unstructured":"Church A. Application of recursive arithmetic to the problem of circuit synthesis. Journal of Symbolic Logic, 1963, 28(4): 289-290.","journal-title":"Journal of Symbolic Logic"},{"key":"e_1_3_3_1_4_2","unstructured":"Jacobs S P\u00e9rez G A Bloem R. The reactive synthesis competition. http:\/\/www.syntcomp.org. 2022."},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-019-00349-3"},{"key":"e_1_3_3_1_6_2","volume-title":"Parametric linear dynamic logic. arXiv preprint arXiv:1408.5957","author":"Faymonville P","year":"2014","unstructured":"Faymonville P, Zimmermann M. Parametric linear dynamic logic. arXiv preprint arXiv:1408.5957, 2014."},{"key":"e_1_3_3_1_7_2","volume-title":"Program synthesis of linear temporal logic over finite traces. Shanghai: School of Software Engineering","author":"Shufang Z.","year":"2019","unstructured":"Shufang Z. Program synthesis of linear temporal logic over finite traces. Shanghai: School of Software Engineering, East China Normal University, 2019."},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90046-1"},{"volume-title":"Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13)","author":"De Giacomo G","key":"e_1_3_3_1_9_2","unstructured":"De Giacomo G, Vardi M Y. Linear temporal logic and linear dynamic logic on finite traces. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13). New York: Association for Computing Machinery, 2013: 854-860."},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v31i1.15954"},{"key":"e_1_3_3_1_11_2","volume-title":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. AAAI Press, 3292\u20133298","author":"Giuseppe De Giacomo","year":"2022","unstructured":"Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, and Shufang Zhu. 2022. LTLf Synthesis as AND-OR GraphSearch: Knowledge Compilation at Work. In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. AAAI Press, 3292\u20133298."},{"key":"e_1_3_3_1_13_2","volume-title":"Compositional safety LTL synthesis[C]\/\/Working Conference on Verified Software: Theories, Tools, and Experiments","author":"Bansal S","year":"2022","unstructured":"Bansal S, De Giacomo G, Di Stasio A, et al. Compositional safety LTL synthesis[C]\/\/Working Conference on Verified Software: Theories, Tools, and Experiments. Cham: Springer International Publishing, 2022: 1-19."},{"key":"e_1_3_3_1_14_2","volume-title":"Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories[C]\/\/Proceedings of the AAAI Conference on Artificial Intelligence","author":"Rodr\u00edguez A","year":"2024","unstructured":"Rodr\u00edguez A, S\u00e1nchez C. Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories[C]\/\/Proceedings of the AAAI Conference on Artificial Intelligence. 2024, 38(9): 10679-10686."}],"event":{"name":"GAIIS 2025: 2025 2nd International Conference on Generative Artificial Intelligence and Information Security","acronym":"GAIIS 2025","location":"Hangzhou China"},"container-title":["Proceedings of the 2025 2nd International Conference on Generative Artificial Intelligence and Information Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3728725.3728795","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3728725.3728795","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:48Z","timestamp":1750295928000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3728725.3728795"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,21]]},"references-count":13,"alternative-id":["10.1145\/3728725.3728795","10.1145\/3728725"],"URL":"https:\/\/doi.org\/10.1145\/3728725.3728795","relation":{},"subject":[],"published":{"date-parts":[[2025,2,21]]},"assertion":[{"value":"2025-06-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}