{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:11Z","timestamp":1750220231119,"version":"3.41.0"},"reference-count":8,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["XRDS"],"published-print":{"date-parts":[[2022,3]]},"abstract":"<jats:p>Rigorous approaches based on formal methods have the potential to fundamentally improve many aspects of deep learning. This article discusses the challenges and future directions of formal methods enhanced deep learning for smart cities.<\/jats:p>","DOI":"10.1145\/3522694","type":"journal-article","created":{"date-parts":[[2022,4,7]],"date-time":"2022-04-07T23:08:32Z","timestamp":1649372912000},"page":"42-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal methods enhance deep learning for smart cities"],"prefix":"10.1145","volume":"28","author":[{"given":"Meiyi","family":"Ma","sequence":"first","affiliation":[{"name":"Vanderbilt University, University of Virginia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,4,7]]},"reference":[{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTCOMP.2016.7501688"},{"key":"e_1_2_1_3_1","volume-title":"Advances in Neural Information Processing Systems (NeurIPS). 33","author":"Ma M.","year":"2020","unstructured":"Ma , M. , Gao , J. , Feng , L. , and Stankovic , J . STLnet: Signal temporal logic enforced multivariate recurrent neural networks . In Advances in Neural Information Processing Systems (NeurIPS). 33 , 2020 . Ma, M., Gao, J., Feng, L., and Stankovic, J. STLnet: Signal temporal logic enforced multivariate recurrent neural networks. In Advances in Neural Information Processing Systems (NeurIPS). 33, 2020."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2021.3069943"},{"key":"e_1_2_1_5_1","first-page":"2","article-title":"Data sets, modeling, and decision making in smart cities: A survey","volume":"4","author":"Ma M.","year":"2019","unstructured":"Ma , M. , Preum , S. M. , Ahmed , M. Y. , T\u00e4rneberg , W. , Hendawi , A. , and Stankovic , J. A . Data sets, modeling, and decision making in smart cities: A survey . ACM Transactions on Cyber-Physical Systems 4 , 2 ( 2019 ), 1--28. Ma, M., Preum, S. M., Ahmed, M. Y., T\u00e4rneberg, W., Hendawi, A., and Stankovic, J. A. Data sets, modeling, and decision making in smart cities: A survey. ACM Transactions on Cyber-Physical Systems 4, 2 (2019), 1--28.","journal-title":"ACM Transactions on Cyber-Physical Systems"},{"key":"e_1_2_1_6_1","volume-title":"Predictive monitoring with logic calibrated uncertainty for cyber-physical systems. ACM Transactions on Embedded Computing Systems (TECS) 20, 5s","author":"Ma M.","year":"2021","unstructured":"Ma , M. , Stankovic , J. , Bartocci , E. , and Feng , L . Predictive monitoring with logic calibrated uncertainty for cyber-physical systems. ACM Transactions on Embedded Computing Systems (TECS) 20, 5s ( 2021 ). Ma, M., Stankovic, J., Bartocci, E., and Feng, L. Predictive monitoring with logic calibrated uncertainty for cyber-physical systems. ACM Transactions on Embedded Computing Systems (TECS) 20, 5s (2021)."},{"key":"e_1_2_1_7_1","first-page":"175","article-title":"Specification-based monitoring of cyber physical systems: A survey on theory, tools and applications. In Lectures on Runtime Verification, Springer","volume":"135","author":"Bartocci E.","year":"2018","unstructured":"Bartocci , E. , Deshmukh , J. , Donz\u00e9 , A. , Fainekos , G. , Maler , O. , Ni\u010dkovi\u0107 , and Sankaranarayanan, S . Specification-based monitoring of cyber physical systems: A survey on theory, tools and applications. In Lectures on Runtime Verification, Springer , Cham , 2018 , 135 -- 175 . Bartocci, E., Deshmukh, J., Donz\u00e9, A., Fainekos, G., Maler, O., Ni\u010dkovi\u0107, and Sankaranarayanan, S. Specification-based monitoring of cyber physical systems: A survey on theory, tools and applications. In Lectures on Runtime Verification, Springer, Cham, 2018, 135--175.","journal-title":"Cham"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3054977.3054989"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00014"}],"container-title":["XRDS: Crossroads, The ACM Magazine for Students"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3522694","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3522694","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:15Z","timestamp":1750188615000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3522694"}},"subtitle":["challenges and future directions"],"short-title":[],"issued":{"date-parts":[[2022,3]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,3]]}},"alternative-id":["10.1145\/3522694"],"URL":"https:\/\/doi.org\/10.1145\/3522694","relation":{},"ISSN":["1528-4972","1528-4980"],"issn-type":[{"type":"print","value":"1528-4972"},{"type":"electronic","value":"1528-4980"}],"subject":[],"published":{"date-parts":[[2022,3]]},"assertion":[{"value":"2022-04-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}