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), pp. 10882-10890. doi: 10.1609/aaai.v38i10.28962.