{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T18:02:00Z","timestamp":1764957720754,"version":"3.46.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","funder":[{"name":"NSF","award":["2038960"],"award-info":[{"award-number":["2038960"]}]},{"name":"TUM Institute for Advanced Study"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,28]]},"DOI":"10.1145\/3742874.3758336","type":"proceedings-article","created":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T17:59:20Z","timestamp":1764957560000},"page":"1-2","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Tutorial: Design Automation for ML-enabled Cyber-Physical Systems: From Verification to Synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0503-6235","authenticated-orcid":false,"given":"Samarjit","family":"Chakraborty","sequence":"first","affiliation":[{"name":"UNC Chapel Hill, Chapel Hill, North Carolina, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7700-4099","authenticated-orcid":false,"given":"Qi","family":"Zhu","sequence":"additional","affiliation":[{"name":"Northwestern University, Evanston, Illinois, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4029-4034","authenticated-orcid":false,"given":"Jingtong","family":"Hu","sequence":"additional","affiliation":[{"name":"University of Pittsburgh, Pittsburgh, Pittsburgh, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,12,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038683"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2016.2573598"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2613933"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3121427"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2011.5722188"},{"key":"e_1_3_2_1_6_1","volume-title":"Automation and Test in Europe (DATE)","author":"Goswami D.","year":"2011","unstructured":"D. Goswami, R. Schneider, and S. Chakraborty. Re-engineering cyber-physical control applications for hybrid communication protocols. In Design, Automation and Test in Europe (DATE), 2011."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3198905"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317757"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3012863"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228484"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2017.2779456"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039394"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2980076"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2023.3331215"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE54114.2022.9774719"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3566097.3567848"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAA64256.2024.00018"},{"key":"e_1_3_2_1_19_1","volume-title":"IEEE\/ACM International Conference On Computer Aided Design (ICCAD)","author":"Zhu Q.","year":"2020","unstructured":"Q. Zhu et al. Know the unknowns: Addressing disturbances and uncertainties in autonomous systems : Invited paper. In IEEE\/ACM International Conference On Computer Aided Design (ICCAD), 2020."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMSNETS63942.2025.10885702"}],"event":{"name":"EMSOFT '25: International Conference on Embedded Software","location":"Taipei International Convention Center (TICC) Taipei Taiwan","acronym":"EMSOFT '25","sponsor":["SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","SIGBED ACM Special Interest Group on Embedded Systems","CEDA","IEEE CAS"]},"container-title":["Proceedings of the International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3742874.3758336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T17:59:48Z","timestamp":1764957588000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3742874.3758336"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,28]]},"references-count":20,"alternative-id":["10.1145\/3742874.3758336","10.1145\/3742874"],"URL":"https:\/\/doi.org\/10.1145\/3742874.3758336","relation":{},"subject":[],"published":{"date-parts":[[2025,9,28]]},"assertion":[{"value":"2025-12-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}