{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T10:52:48Z","timestamp":1781952768837,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T00:00:00Z","timestamp":1782086400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Department of Energy","award":["DE-FOA-0001905"],"award-info":[{"award-number":["DE-FOA-0001905"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,22]]},"DOI":"10.1145\/3765611.3815354","type":"proceedings-article","created":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T09:39:33Z","timestamp":1781948373000},"page":"600-601","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Examining Feasibility of STL for Enforcing Safe Building Control"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-5887-2586","authenticated-orcid":false,"given":"Jacob","family":"Brown","sequence":"first","affiliation":[{"name":"Software and Information Systems, University of North Carolina Charlotte, Charlotte, North Carolina, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2081-4525","authenticated-orcid":false,"given":"Gabe","family":"Fierro","sequence":"additional","affiliation":[{"name":"Computer Science, Colorado School of Mines, Golden, Colorado, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7508-5024","authenticated-orcid":false,"given":"Meera","family":"Sridhar","sequence":"additional","affiliation":[{"name":"Software and Information Systems, University of North Carolina Charlotte, Charlotte, North Carolina, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,22]]},"reference":[{"key":"e_1_3_3_1_2_2","volume-title":"Principles of Model Checking","author":"Baier Christel","year":"2008","unstructured":"Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. MIT Press."},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.26868\/25222708.2023.1660"},{"key":"e_1_3_3_1_4_2","volume-title":"Principles of Cyber-Physical Systems","author":"Lee Edward\u00a0A.","year":"2015","unstructured":"Edward\u00a0A. Lee. 2015. Principles of Cyber-Physical Systems. MIT Press."},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","unstructured":"Michael Wetter Paul Ehrlich Antoine Gautier Milica Grahovac Philip Haves Jianjun Hu Anand Prakash Dave Robin and Kun Zhang. 2022. OpenBuildingControl: Digitizing the control delivery from building energy modeling to specification implementation and formal verification. Energy 238 (Jan. 2022) 121501. 10.1016\/j.energy.2021.121501","DOI":"10.1016\/j.energy.2021.121501"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","unstructured":"Tomoya Yamaguchi Bardh Hoxha and Dejan Nickovic. 2024. RTAMT \u2013 Runtime Robustness Monitors with Application to CPS and Robotics. International Journal on Software Tools for Technology Transfer 26 (2024) 79\u201399. 10.1007\/s10009-023-00720-3","DOI":"10.1007\/s10009-023-00720-3"}],"event":{"name":"ACM Sustainability Week '26: ACM Sustainability Week 2026","location":"Banff , Alberta , Canada","acronym":"ACM Sustainability Week '26","sponsor":["SIGENERGY ACM Special Interest Group on Energy Systems and Informatics"]},"container-title":["Proceedings of the 2026 ACM Sustainability Week"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3765611.3815354","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3765611.3815354","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3765611.3815354","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T10:43:56Z","timestamp":1781952236000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3765611.3815354"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,22]]},"references-count":6,"alternative-id":["10.1145\/3765611.3815354","10.1145\/3765611"],"URL":"https:\/\/doi.org\/10.1145\/3765611.3815354","relation":{},"subject":[],"published":{"date-parts":[[2026,6,22]]},"assertion":[{"value":"2026-06-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}