{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T15:07:02Z","timestamp":1784214422611,"version":"3.55.0"},"reference-count":47,"publisher":"Association for Computing Machinery (ACM)","issue":"4","funder":[{"name":"National Science Foundation","award":["CNS-1952011, CCF-2220401, and SES-2228607"],"award-info":[{"award-number":["CNS-1952011, CCF-2220401, and SES-2228607"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2025,10,31]]},"abstract":"<jats:p>Smart cities operate on computational predictive frameworks that collect aggregate and utilize data from large-scale sensor networks. However these frameworks are prone to multiple sources of data and algorithmic bias which often lead to unfair prediction results. In this work we first demonstrate that bias persists at a micro-level both temporally and spatially by studying real city data from Chattanooga TN. To alleviate the issue of such bias we introduce FairGuard a micro-level temporal logic-based approach for fair smart city policy adjustment and generation in complex temporal-spatial domains. The FairGuard framework consists of two phases. First we develop a static generator that is able to reduce data bias based on temporal logic conditions by minimizing correlations between selected attributes. Second to ensure fairness in predictive algorithms we design a dynamic component to regulate prediction results and generate future fair predictions by harnessing logic rules. To navigate potential conflicts among these single fairness rules including logical contradictions and data interference we formulate detection strategies grounded in Satisfiability Modulo Theories (SMT) across both logic and data levels. Furthermore acknowledging the limitations of fairness rules focused on a single attribute we enhance the Static FairGuard to accommodate heterogeneous fairness rules that simultaneously consider multiple protected attributes. In addition we develop an interactive online visualizer that displays the adjustments made to correct unfair city states thereby improving fairness alongside the prediction outcomes from the dynamic component. Evaluations showcase that logic-enabled Static FairGuard can effectively reduce the biased correlations while Dynamic FairGuard can guarantee fairness on protected groups at runtime with minimal impact on overall performance.<\/jats:p>","DOI":"10.1145\/3737293","type":"journal-article","created":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T12:35:47Z","timestamp":1748349347000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1083-0011","authenticated-orcid":false,"given":"Ziyan","family":"An","sequence":"first","affiliation":[{"name":"Vanderbilt University, Nashville, Tennessee, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-4283-6358","authenticated-orcid":false,"given":"Yiqi","family":"Zhao","sequence":"additional","affiliation":[{"name":"University of Southern California, Los Angeles, California, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-1209-4466","authenticated-orcid":false,"given":"Xuqing","family":"Gao","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, New York, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8355-0950","authenticated-orcid":false,"given":"Ayan","family":"Mukhopadhyay","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, Tennessee, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6916-8774","authenticated-orcid":false,"given":"Meiyi","family":"Ma","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, Tennessee, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,10,13]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2017.1600238CM"},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.2020.3922"},{"key":"e_1_3_1_4_2","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1145\/3450267.3450543","volume-title":"ACM\/IEEE International Conference on Cyber-Physical Systems","author":"Pettet Geoffrey","year":"2021","unstructured":"Geoffrey Pettet, Ayan Mukhopadhyay, Mykel J. Kochenderfer, and Abhishek Dubey. 2021. Hierarchical planning for resource allocation in emergency response systems. In ACM\/IEEE International Conference on Cyber-Physical Systems, 155\u2013166."},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/546"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1611675114"},{"key":"e_1_3_1_7_2","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/ITSC.2016.7795558","volume-title":"2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC)","author":"Davis Neema","year":"2016","unstructured":"Neema Davis, Gaurav Raina, and Krishna Jagannathan. 2016. A multi-level clustering approach for forecasting taxi travel demand. In 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC), 223\u2013228."},{"key":"e_1_3_1_8_2","unstructured":"Sam Corbett-Davies and Sharad Goel. 2018. The measure and mismeasure of fairness: A critical review of fair machine learning. arXiv:1808.00023. Retrieved from https:\/\/arxiv.org\/abs\/1808.00023"},{"key":"e_1_3_1_9_2","first-page":"3","volume-title":"International Conference on Computing in Civil and Building Engineering","author":"Luckey Daniel","year":"2020","unstructured":"Daniel Luckey, Henrieke Fritz, Dmitrii Legatiuk, Kosmas Dragos, and Kay Smarsly. 2020. Artificial intelligence techniques for smart city applications. In International Conference on Computing in Civil and Building Engineering. Springer, 3\u201315."},{"key":"e_1_3_1_10_2","first-page":", 2439","volume-title":"International Conference on Machine Learning","author":"Kallus Nathan","year":"2018","unstructured":"Nathan Kallus and Angela Zhou. 2018. Residual unfairness in fair machine learning from prejudiced data. In International Conference on Machine Learning. PMLR, 2439\u20132448."},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3097983.3098095"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/3376898"},{"key":"e_1_3_1_13_2","first-page":"815","article-title":"Sample selection for fair and robust training","volume":"34","author":"Roh Yuji","year":"2021","unstructured":"Yuji Roh, Kangwook Lee, Steven Whang, and Changho Suh. 2021. Sample selection for fair and robust training. In Advances in Neural Information Processing Systems, Vol. 34, 815\u2013827.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_1_14_2","doi-asserted-by":"crossref","first-page":"1102","DOI":"10.1109\/ICDM.2019.00131","volume-title":"2019 IEEE International Conference on Data Mining (ICDM)","author":"Hu Hui","year":"2019","unstructured":"Hui Hu, Yijun Liu, Zhen Wang, and Chao Lan. 2019. A distributed fair machine learning framework with private demographic data protection. In 2019 IEEE International Conference on Data Mining (ICDM), 1102\u20131107."},{"key":"e_1_3_1_15_2","doi-asserted-by":"crossref","unstructured":"Yanai Elazar and Yoav Goldberg. 2018. Adversarial removal of demographic attributes from text data. arXiv:1808.06640. Retrieved from https:\/\/arxiv.org\/abs\/1808.06640","DOI":"10.18653\/v1\/D18-1002"},{"key":"e_1_3_1_16_2","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1145\/3033274.3085138","volume-title":"2017 ACM Conference on Economics and Computation","author":"Goel Ashish","year":"2017","unstructured":"Ashish Goel, Anilesh K. Krishnaswamy, and Kamesh Munagala. 2017. Metric distortion of social choice rules: Lower bounds and fairness properties. In 2017 ACM Conference on Economics and Computation, 287\u2013304."},{"key":"e_1_3_1_17_2","first-page":"1079","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence","volume":"34","author":"Yan An","year":"2020","unstructured":"An Yan and Bill Howe. 2020. Fairness-aware demand prediction for new mobility. Proceedings of the AAAI Conference on Artificial Intelligence 34, 1 (2020), 1079\u20131087."},{"issue":"15","key":"e_1_3_1_18_2","doi-asserted-by":"crossref","first-page":"11793","DOI":"10.1109\/JIOT.2021.3069943","article-title":"A novel spatial\u2013temporal specification-based monitoring system for smart cities","volume":"8","author":"Ma Meiyi","year":"2021","unstructured":"Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, and Lu Feng. 2021. A novel spatial\u2013temporal specification-based monitoring system for smart cities. IEEE Internet of Things Journal 8, 15 (2021), 11793\u201311806.","journal-title":"IEEE Internet of Things Journal"},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3576842.3582371"},{"issue":"3","key":"e_1_3_1_21_2","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0098-1354(81)85003-X","article-title":"A modification of Powell\u2019s dogleg method for solving systems of nonlinear equations","volume":"5","author":"Chen Hern-Shann","year":"1981","unstructured":"Hern-Shann Chen and Mark A. Stadtherr. 1981. A modification of Powell\u2019s dogleg method for solving systems of nonlinear equations. Computers & Chemical Engineering 5, 3 (1981), 143\u2013150.","journal-title":"Computers & Chemical Engineering"},{"key":"e_1_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.5555\/1885174.1885183"},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1080\/00031305.1988.10475524"},{"key":"e_1_3_1_24_2","first-page":"120","volume-title":"International Conference on Machine Learning","author":"Agarwal Alekh","year":"2019","unstructured":"Alekh Agarwal, Miroslav Dud\u00edk, and Zhiwei Steven Wu. 2019. Fair regression: Quantitative definitions and reduction-based algorithms. In International Conference on Machine Learning. PMLR, 120\u2013129."},{"key":"e_1_3_1_25_2","first-page":"1526","volume-title":"10th IEEE International Conference on Computer Vision (ICCV \u201905)","volume":"2","author":"Lourakis M. L. A.","year":"2005","unstructured":"M. L. A. Lourakis and A. A. Argyros. 2005. Is Levenberg-Marquardt the most efficient optimization algorithm for implementing bundle adjustment? In 10th IEEE International Conference on Computer Vision (ICCV \u201905), Vol. 2, 1526\u20131531."},{"key":"e_1_3_1_26_2","volume-title":"Numerical Methods for Nonlinear Algebraic Equations","author":"Powell Michael J. D.","year":"1970","unstructured":"Michael J. D. Powell. 1970. A hybrid method for nonlinear equations. In Numerical Methods for Nonlinear Algebraic Equations. P. Rabinowitz (Ed.), Gordon and Breach."},{"key":"e_1_3_1_27_2","unstructured":"Geoffrey Hinton Oriol Vinyals and Jeff Dean. 2015. Distilling the knowledge in a neural network. arXiv:1503.02531. Retrieved from https:\/\/arxiv.org\/abs\/1503.02531"},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1090\/qam\/10666"},{"key":"e_1_3_1_29_2","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/SMARTCOMP55677.2022.00020","volume-title":"2022 IEEE International Conference on Smart Computing (SMARTCOMP)","author":"Chen Zirong","year":"2022","unstructured":"Zirong Chen, Isaac Li, Haoxiang Zhang, Sarah Preum, John A. Stankovic, and Meiyi Ma. 2022. Cityspec: An intelligent assistant system for requirement specification in smart cities. In 2022 IEEE International Conference on Smart Computing (SMARTCOMP). IEEE, 32\u201339."},{"key":"e_1_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/3457607"},{"key":"e_1_3_1_31_2","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1145\/3287560.3287592","volume-title":"the Conference on Fairness, Accountability, and Transparency","author":"Kearns Michael","year":"2019","unstructured":"Michael Kearns, Seth Neel, Aaron Roth, and Zhiwei Steven Wu. 2019. An empirical study of rich subgroup fairness for machine learning. In the Conference on Fairness, Accountability, and Transparency, 100\u2013109."},{"key":"e_1_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3494672"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/3375627.3375844"},{"key":"e_1_3_1_34_2","first-page":"107","volume-title":"Ethics and Information Technology","volume":"19","author":"Leben Derek","year":"2017","unstructured":"Derek Leben. 2017. A Rawlsian algorithm for autonomous vehicles. Ethics and Information Technology 19, 2 (2017), 107\u2013115."},{"key":"e_1_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3461702.3462592"},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/3351095.3372864"},{"key":"e_1_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-022-01072-1"},{"key":"e_1_3_1_38_2","unstructured":"Rebekah Overdorf Bogdan Kulynych Ero Balsa Carmela Troncoso and Seda G\u00fcrses. 2018. Questioning the assumptions behind fairness solutions. arXiv:1811.11293. Retrieved from https:\/\/arxiv.org\/abs\/1811.11293"},{"key":"e_1_3_1_39_2","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1145\/3442188.3445912","volume-title":"2021 ACM Conference on Fairness, Accountability, and Transparency","author":"Finocchiaro Jessie","year":"2021","unstructured":"Jessie Finocchiaro, Roland Maio, Faidra Monachou, Gourab K. Patro, Manish Raghavan, Ana-Andreea Stoica, and Stratis Tsirtsis. 2021. Bridging machine learning and mechanism design towards algorithmic fairness. In 2021 ACM Conference on Fairness, Accountability, and Transparency, 489\u2013503."},{"key":"e_1_3_1_40_2","first-page":"102503","volume-title":"Sustainable Cities and Society","volume":"64","author":"Kontokosta Constantine E.","year":"2021","unstructured":"Constantine E. Kontokosta Boyeong Hong. 2021. Bias in smart city governance: How socio-spatial disparities in 311 complaint behavior impact the fairness of data-driven decisions. Sustainable Cities and Society 64 (2021), 102503."},{"key":"e_1_3_1_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2019.2901532"},{"key":"e_1_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/3477032"},{"key":"e_1_3_1_43_2","first-page":"962","volume-title":"20th International Conference on Artificial Intelligence and Statistics","author":"Bilal Zafar Muhammad","year":"2017","unstructured":"Muhammad Bilal Zafar, Isabel Valera, Manuel Gomez Rogriguez, and Krishna P. Gummadi. 2017. Fairness constraints: Mechanisms for fair classification. In 20th International Conference on Artificial Intelligence and Statistics. PMLR, 962\u2013970."},{"key":"e_1_3_1_44_2","first-page":"7321","article-title":"Fair regression with Wasserstein barycenters","volume":"33","author":"Chzhen Evgenii","year":"2020","unstructured":"Evgenii Chzhen, Christophe Denis, Mohamed Hebiri, Luca Oneto, and Massimiliano Pontil. 2020. Fair regression with Wasserstein barycenters. In Advances in Neural Information Processing Systems, Vol. 33, 7321\u20137331.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_1_45_2","first-page":"14604","article-title":"STLnet: Signal temporal logic enforced multivariate recurrent neural networks","volume":"33","author":"Ma Meiyi","year":"2020","unstructured":"Meiyi Ma, Ji Gao, Lu Feng, and John Stankovic. 2020. STLnet: Signal temporal logic enforced multivariate recurrent neural networks. In Advances in Neural Information Processing Systems, Vol. 33, 14604\u201314614.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_1_46_2","first-page":"55","volume-title":"2018 ACM\/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)","author":"Ma Meiyi","year":"2018","unstructured":"Meiyi Ma, John A. Stankovic, and Lu Feng. 2018. Cityresolver: A decision support system for conflict resolution in smart cities. In 2018 ACM\/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS). IEEE, 55\u201364."},{"key":"e_1_3_1_47_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2021.3082991"},{"key":"e_1_3_1_48_2","first-page":"652","volume-title":"2020 IEEE 16th International Conference on Automation Science and Engineering (CASE)","author":"Li Chenghao","year":"2020","unstructured":"Chenghao Li, Xiaoteng Ma, Li Xia, Qianchuan Zhao, and Jun Yang. 2020. Fairness control of traffic light via deep reinforcement learning. In 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE), 652\u2013658."}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3737293","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T13:52:56Z","timestamp":1760363576000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3737293"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,13]]},"references-count":47,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,10,31]]}},"alternative-id":["10.1145\/3737293"],"URL":"https:\/\/doi.org\/10.1145\/3737293","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,13]]},"assertion":[{"value":"2024-04-17","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-04-23","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-10-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}