{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:48:16Z","timestamp":1730213296709,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,12,5]],"date-time":"2021-12-05T00:00:00Z","timestamp":1638662400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,12,5]],"date-time":"2021-12-05T00:00:00Z","timestamp":1638662400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,12,5]],"date-time":"2021-12-05T00:00:00Z","timestamp":1638662400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,12,5]]},"DOI":"10.1109\/dac18074.2021.9586313","type":"proceedings-article","created":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T18:30:34Z","timestamp":1636396234000},"page":"157-162","source":"Crossref","is-referenced-by-count":1,"title":["EImprove - Optimizing Energy and Comfort in Buildings based on Formal Semantics and Reinforcement Learning"],"prefix":"10.1109","author":[{"given":"Sagar","family":"Verma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Supriya","family":"Agrawal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R","family":"Venkatesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulka","family":"Shrotri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Srinarayana","family":"Nagarathinam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajesh","family":"Jayaprakash","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aabriti","family":"Dutta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"215","article-title":"Edt: a specification notation for reactive systems","author":"venkatesh","year":"2014","journal-title":"Proceedings of the Conference on Design Automation & Test in Europe European Design and Automation Association"},{"key":"ref11","first-page":"49","article-title":"Energyplus: Energy simulation program","volume":"42","author":"crawley","year":"2000","journal-title":"ASHRAE Journal"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1080\/19401493.2010.518631"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.5220\/0005347800670077"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00044"},{"journal-title":"Thermal Comfort Analysis and Applications in Environmental Engineering","year":"1970","author":"fanger","key":"ref15"},{"key":"ref16","first-page":"160","article-title":"An energyplus whole building energy model calibration method for office buildings using occupant behavior data mining and empirical data","author":"lam","year":"2014","journal-title":"ASHRAE\/IBPSA-USA Building Simulation Conference ASHRAE"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2528282.2528301"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2517351.2517370"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3396851.3397694"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2014.07.051"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35248-5_9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062224"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1878431.1878433"},{"key":"ref1","article-title":"Co-scheduling of hvac control, ev charging and battery usage for building energy efficiency","author":"tianshu wei","year":"2014","journal-title":"International Conference on Computer-Aided Design (ICCAD)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/GCCE.2016.7800444"}],"event":{"name":"2021 58th ACM\/IEEE Design Automation Conference (DAC)","start":{"date-parts":[[2021,12,5]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2021,12,9]]}},"container-title":["2021 58th ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9585997\/9586083\/09586313.pdf?arnumber=9586313","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T12:55:52Z","timestamp":1652187352000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9586313\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,5]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/dac18074.2021.9586313","relation":{},"subject":[],"published":{"date-parts":[[2021,12,5]]}}}