An, Z., T. T. Johnson, and M. Ma. “Formal Logic Enabled Personalized Federated Learning through Property Inference”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 38, no. 10, Mar. 2024, pp. 10882-90, doi:10.1609/aaai.v38i10.28962.