Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities

Ziyan An, Yiqi Zhao, Xuqing Gao, Ayan Mukhopadhyay, Meiyi Ma. Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities. TCPS, 9(4), October 2025. [doi]

Abstract

Abstract is missing.