{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:14Z","timestamp":1750306034981,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,11]],"date-time":"2018-04-11T00:00:00Z","timestamp":1523404800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS-1446145, ECCS-1405413"],"award-info":[{"award-number":["CNS-1446145, ECCS-1405413"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"DFG","award":["ZA 873\/1-1"],"award-info":[{"award-number":["ZA 873\/1-1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,11]]},"DOI":"10.1145\/3178126.3187005","type":"proceedings-article","created":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T12:12:32Z","timestamp":1522671152000},"page":"285-286","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms"],"prefix":"10.1145","author":[{"given":"Eric S.","family":"Kim","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, California, United States"}]},{"given":"Murat","family":"Arcak","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, California, United States"}]},{"given":"Mahmoud","family":"Khaled","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Technical University of Munich, Munich, Germany"}]},{"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Technical University of Munich, Munich, Germany"}]}],"member":"320","published-online":{"date-parts":[[2018,4,11]]},"reference":[{"volume-title":"Sparsity-Aware Finite Abstraction. In 2017 IEEE 56th Conference on Decision and Control (CDC).","author":"Gruber F.","key":"e_1_3_2_1_1_1","unstructured":"F. Gruber , E. Kim , and M. Arcak . 2017 . Sparsity-Aware Finite Abstraction. In 2017 IEEE 56th Conference on Decision and Control (CDC). F. Gruber, E. Kim, and M. Arcak. 2017. Sparsity-Aware Finite Abstraction. In 2017 IEEE 56th Conference on Decision and Control (CDC)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178144"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461343"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"e_1_3_2_1_5_1","volume-title":"CUDD: CU Decision Diagram Package","author":"Somenzi F.","year":"2015","unstructured":"F. Somenzi . 2015 . CUDD: CU Decision Diagram Package . http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/. (2015). Version 3.0.0. F. Somenzi. 2015. CUDD: CU Decision Diagram Package. http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/. (2015). Version 3.0.0."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"}],"event":{"name":"HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Porto Portugal","acronym":"HSCC '18"},"container-title":["Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178126.3187005","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3178126.3187005","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3178126.3187005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:02:56Z","timestamp":1750215776000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178126.3187005"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,11]]},"references-count":6,"alternative-id":["10.1145\/3178126.3187005","10.1145\/3178126"],"URL":"https:\/\/doi.org\/10.1145\/3178126.3187005","relation":{},"subject":[],"published":{"date-parts":[[2018,4,11]]},"assertion":[{"value":"2018-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}