An, Z., Johnson, T.T. and Ma, M. 2024. Formal Logic Enabled Personalized Federated Learning through Property Inference. Proceedings of the AAAI Conference on Artificial Intelligence. 38, 10 (Mar. 2024), 10882-10890. DOI:https://doi.org/10.1609/aaai.v38i10.28962.