Z. An, T. T. Johnson, and M. Ma, “Formal Logic Enabled Personalized Federated Learning through Property Inference”, AAAI, vol. 38, no. 10, pp. 10882-10890, Mar. 2024.