{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:10:18Z","timestamp":1750219818738,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/V00252X\/1"],"award-info":[{"award-number":["EP\/V00252X\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["ERC-2020-AdG 101020093"],"award-info":[{"award-number":["ERC-2020-AdG 101020093"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["389792660 TRR 248?CPEC and SCHM 3541\/1-1"],"award-info":[{"award-number":["389792660 TRR 248?CPEC and SCHM 3541\/1-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3575870.3589554","type":"proceedings-article","created":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T22:42:27Z","timestamp":1683585747000},"page":"1-2","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Poster Abstract: A Toolchain for Accelerated Symbolic Control"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2136-0542","authenticated-orcid":false,"given":"Rupak","family":"Majumdar","sequence":"first","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9864-7475","authenticated-orcid":false,"given":"Kaushik","family":"Mallik","sequence":"additional","affiliation":[{"name":"Institute of Science and Technology Austria, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8318-2588","authenticated-orcid":false,"given":"Mateusz","family":"Rychlicki","sequence":"additional","affiliation":[{"name":"School of Computing, University of Leeds, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2801-639X","authenticated-orcid":false,"given":"Anne-Kathrin","family":"Schmuck","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1922-6678","authenticated-orcid":false,"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[{"name":"Newcastle University, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"volume-title":"TACAS \u201922","author":"Banerjee Tamajit","unstructured":"Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Sadegh Soudjani. 2022. A direct symbolic algorithm for solving stochastic Rabin games. In TACAS \u201922. Springer, 81\u201398.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","volume-title":"Fast symbolic algorithms for omega-regular games under strong transition fairness. TheoretiCS 2","author":"Banerjee Tamajit","year":"2023","unstructured":"Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Sadegh Soudjani. 2023. Fast symbolic algorithms for omega-regular games under strong transition fairness. TheoretiCS 2 (2023)."},{"key":"e_1_3_2_1_3_1","first-page":"101204","article-title":"Abstraction-based synthesis for stochastic systems with omega-regular objectives","volume":"45","author":"Dutreix Maxence","year":"2022","unstructured":"Maxence Dutreix, Jeongmin Huh, and Samuel Coogan. 2022. Abstraction-based synthesis for stochastic systems with omega-regular objectives. NAHS 45 (2022), 101204.","journal-title":"NAHS"},{"volume-title":"CAV \u201994","author":"Long E","unstructured":"David\u00a0E Long, Anca Browne, Edmund\u00a0M Clarke, Somesh Jha, and Wilfredo\u00a0R Marrero. 1994. An improved algorithm for the evaluation of fixpoint expressions. In CAV \u201994. Springer, 338\u2013350.","key":"e_1_3_2_1_4_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1016\/j.ifacol.2021.08.486"},{"doi-asserted-by":"crossref","unstructured":"Rupak Majumdar Kaushik Mallik and Sadegh Soudjani. 2020. Symbolic controller synthesis for B\u00fcchi specifications on stochastic systems. In HSCC \u201920. 1\u201311.","key":"e_1_3_2_1_6_1","DOI":"10.1145\/3365365.3382214"},{"key":"e_1_3_2_1_7_1","volume-title":"CUDD: CU decision diagram package release 3.0.0. URL: https:\/\/github.com\/ivmai\/cudd","author":"Somenzi Fabio","year":"2015","unstructured":"Fabio Somenzi. 2015. CUDD: CU decision diagram package release 3.0.0. URL: https:\/\/github.com\/ivmai\/cudd (2015)."},{"key":"e_1_3_2_1_8_1","volume-title":"Sylvan: Multi-core decision diagrams. In TACAS \u201915","author":"Van\u00a0Dijk Tom","year":"2015","unstructured":"Tom Van\u00a0Dijk and Jaco Van De\u00a0Pol. 2015. Sylvan: Multi-core decision diagrams. In TACAS \u201915. Springer, 677\u2013691."}],"event":{"sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"acronym":"HSCC '23","name":"HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control","location":"San Antonio TX USA"},"container-title":["Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575870.3589554","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3575870.3589554","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:12Z","timestamp":1750178772000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575870.3589554"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":8,"alternative-id":["10.1145\/3575870.3589554","10.1145\/3575870"],"URL":"https:\/\/doi.org\/10.1145\/3575870.3589554","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-05-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}