{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:35:00Z","timestamp":1791459300266,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T00:00:00Z","timestamp":1707177600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["101069165"],"award-info":[{"award-number":["101069165"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,2,6]]},"DOI":"10.1145\/3597503.3608131","type":"proceedings-article","created":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T20:53:16Z","timestamp":1707252796000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-4926-9625","authenticated-orcid":false,"given":"Ariel","family":"Gorenstein","sequence":"first","affiliation":[{"name":"Tel Aviv University, Tel Aviv, Israel"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4022-5349","authenticated-orcid":false,"given":"Shahar","family":"Maoz","sequence":"additional","affiliation":[{"name":"Tel Aviv University, Tel Aviv, Israel"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3610-3920","authenticated-orcid":false,"given":"Jan Oliver","family":"Ringert","sequence":"additional","affiliation":[{"name":"Bauhaus University Weimar, Weimar, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,2,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_37"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.157.7"},{"key":"e_1_3_2_1_3_1","volume-title":"Automated Technology for Verification and Analysis","author":"Bloem Roderick","unstructured":"Roderick Bloem, R\u00fcdiger Ehlers, and Robert K\u00f6nighofer. 2015. Cooperative Reactive Synthesis. In Automated Technology for Verification and Analysis, Bernd Finkbeiner, Geguang Pu, and Lijun Zhang (Eds.). Springer International Publishing, Cham, 394--410."},{"key":"e_1_3_2_1_4_1","volume-title":"Automation & Test in Europe Conference & Exhibition. IEEE, 1--6.","author":"Bloem Roderick","year":"2007","unstructured":"Roderick Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, and Martin Weiglhofer. 2007. Automatic hardware synthesis from specifications: A case study. In 2007 Design, Automation & Test in Europe Conference & Exhibition. IEEE, 1--6."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.09.004"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430543"},{"key":"e_1_3_2_1_8_1","volume-title":"Corbett","author":"Dwyer Matthew B.","year":"1999","unstructured":"Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. 1999. Patterns in Property Specifications for Finite-State Verification. In ICSE. ACM, 411--420."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7353862"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_18"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-019-00351-9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","unstructured":"Ariel Gorenstein Shahar Maoz and Jan Oliver Ringert. 2024. Supporting artifact. 10.5281\/zenodo.8312833","DOI":"10.5281\/zenodo.8312833"},{"key":"e_1_3_2_1_13_1","volume-title":"Haifa Verification Conference. Springer, 161--181","author":"Klein Uri","year":"2010","unstructured":"Uri Klein and Amir Pnueli. 2010. Revisiting synthesis of GR (1) specifications. In Haifa Verification Conference. Springer, 161--181."},{"key":"e_1_3_2_1_14_1","volume-title":"Results on the propositional \u03bc-calculus. Theoretical computer science 27, 3","author":"Kozen Dexter","year":"1983","unstructured":"Dexter Kozen. 1983. Results on the propositional \u03bc-calculus. Theoretical computer science 27, 3 (1983), 333--354."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00071"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17465-1_13"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","unstructured":"Shahar Maoz and Jan Oliver Ringert. 2015. GR(1) synthesis for LTL specification patterns. In ESEC\/FSE. ACM 96--106. 10.1145\/2786805.2786824","DOI":"10.1145\/2786805.2786824"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.202.5"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950300"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00868-z"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Shahar Maoz and Rafi Shalom. 2020. Inherent vacuity for GR(1) specifications. In ESEC\/FSE. ACM 99--110.","DOI":"10.1145\/3368089.3409669"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161470"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.22"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_24"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016","author":"Adam Walker Leonid Ryzhykand","year":"2016","unstructured":"Leonid Ryzhykand Adam Walker. 2016. Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned. In Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17--18, 2016. 84--99."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","location":"Lisbon Portugal","acronym":"ICSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3608131","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3608131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:45Z","timestamp":1750182525000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3608131"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,6]]},"references-count":28,"alternative-id":["10.1145\/3597503.3608131","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3608131","relation":{},"subject":[],"published":{"date-parts":[[2024,2,6]]},"assertion":[{"value":"2024-02-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}