{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:09:08Z","timestamp":1750219748139,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"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":[{"name":"DARPA\/AFRL","award":["FA8750-20-C-0025"],"award-info":[{"award-number":["FA8750-20-C-0025"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3576914.3589205","type":"proceedings-article","created":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T22:48:26Z","timestamp":1683586106000},"page":"136-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["AIMED: AI-Mediated Exploration of Design: An Experience Report"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5535-1284","authenticated-orcid":false,"given":"Sanjai","family":"Narain","sequence":"first","affiliation":[{"name":"Peraton Labs, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0238-9561","authenticated-orcid":false,"given":"Dana","family":"Chee","sequence":"additional","affiliation":[{"name":"Peraton Labs, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1064-1616","authenticated-orcid":false,"given":"Pranav","family":"Iyer","sequence":"additional","affiliation":[{"name":"Peraton Labs, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0117-9239","authenticated-orcid":false,"given":"Emily","family":"Mak","sequence":"additional","affiliation":[{"name":"Peraton Labs, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-6004-4809","authenticated-orcid":false,"given":"Ricardo","family":"Valdez","sequence":"additional","affiliation":[{"name":"Peraton Labs, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-1255-6341","authenticated-orcid":false,"given":"Manli","family":"Zhu","sequence":"additional","affiliation":[{"name":"Peraton Labs, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1539-0369","authenticated-orcid":false,"given":"Niraj","family":"Jha","sequence":"additional","affiliation":[{"name":"Princeton University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2676-5090","authenticated-orcid":false,"given":"Jaime","family":"Fisac","sequence":"additional","affiliation":[{"name":"Princeton University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3261-7510","authenticated-orcid":false,"given":"Kai-Chieh","family":"Hsu","sequence":"additional","affiliation":[{"name":"Princeton University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2670-9590","authenticated-orcid":false,"given":"Prerit","family":"Terway","sequence":"additional","affiliation":[{"name":"Princeton University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0248-8658","authenticated-orcid":false,"given":"Kishore","family":"Pochiraju","sequence":"additional","affiliation":[{"name":"Stevens Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7966-2917","authenticated-orcid":false,"given":"Brendan","family":"Englot","sequence":"additional","affiliation":[{"name":"Stevens Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8860-3014","authenticated-orcid":false,"given":"Emil","family":"Pitz","sequence":"additional","affiliation":[{"name":"Stevens Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2294-6895","authenticated-orcid":false,"given":"Sean","family":"Rooney","sequence":"additional","affiliation":[{"name":"Stevens Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2505-6022","authenticated-orcid":false,"given":"Yewei","family":"Huang","sequence":"additional","affiliation":[{"name":"Stevens Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2020.XVI.041"},{"key":"e_1_3_2_1_2_1","volume-title":"Deep reinforcement learning from human preferences, arXiv: 1706.03741 [stat.ML]","author":"Christiano","year":"2017","unstructured":"Christiano, Paul, Leike, J., Brown, T. B., Martic, M., Legg, S., and Amodei, D., Deep reinforcement learning from human preferences, arXiv: 1706.03741 [stat.ML], 2017."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"e_1_3_2_1_4_1","unstructured":"Ahmed Mohamed and Prince S. \u201cBayesian optimization \u201d Borealis AI. https:\/www.borealisai.com\/en\/blog\/tutorial-8- bayesian-optimization\/"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139415"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Narain Sanjai Mak E. Chee D. Englot B. Pochiraju K. Jha N. K. and Narayan K. 2021. Fast design space exploration of nonlinear systems: Part I.\u00a0IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems \u00a041(9) pp. 2970-2983. https:\/\/arxiv.org\/pdf\/2104.01747","DOI":"10.1109\/TCAD.2021.3118963"},{"key":"e_1_3_2_1_7_1","unstructured":"Ryseck Peter. Extending Quadcopter Flight Time\u2014By Adding Wings. shorturl.at\/eswCK"},{"key":"e_1_3_2_1_8_1","volume-title":"Optimal Network Configuration Repair. US Patent US 8,725,902 B2. https:\/\/patents.google.com\/patent\/US8725902B2\/en","author":"Narain","year":"2014","unstructured":"Narain, Sanjai, and Arkoudas, K., Optimal Network Configuration Repair. US Patent US 8,725,902 B2. https:\/\/patents.google.com\/patent\/US8725902B2\/en. 2014."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Terway Prerit Hamidouche K. and Jha N. K. 2021. Fast design space exploration of nonlinear systems: Part II.\u00a0IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems \u00a041(9) pp. 2984-2999. https:\/\/arxiv.org\/pdf\/2104.02464","DOI":"10.1109\/TCAD.2021.3119274"},{"key":"e_1_3_2_1_10_1","unstructured":"Terway Prerit and Jha N. K. REPAIRS: Gaussian mixture model based completion and optimization of partially-specified systems. Under review in ACM Transactions on Embedded Computing Systems."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/DESTION56136.2022.00009"},{"key":"e_1_3_2_1_12_1","unstructured":"Z3: An Efficient SMT Solver. https:\/\/www.microsoft.com\/en-us\/research\/project\/z3-3\/"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 23rd National Conference on Artificial Intelligence (AAAI)","author":"Ziebart","year":"2008","unstructured":"Ziebart, Brian, Maas, A., Bagnell, J. A., and Dey, A. K., Maximum entropy inverse reinforcement learning, Proceedings of the 23rd National Conference on Artificial Intelligence (AAAI), Chicago, Illinois, 2008."}],"event":{"name":"CPS-IoT Week '23: Cyber-Physical Systems and Internet of Things Week 2023","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"San Antonio TX USA","acronym":"CPS-IoT Week '23"},"container-title":["Proceedings of Cyber-Physical Systems and Internet of Things Week 2023"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576914.3589205","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3576914.3589205","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:48Z","timestamp":1750178208000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576914.3589205"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":13,"alternative-id":["10.1145\/3576914.3589205","10.1145\/3576914"],"URL":"https:\/\/doi.org\/10.1145\/3576914.3589205","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"}}]}}