Formal Logic Enabled Personalized Federated Learning Through Property Inference

Open in new window