An, Z.; Johnson, T. T.; Ma, M. Formal Logic Enabled Personalized Federated Learning through Property Inference. AAAI 2024, 38, 10882-10890.