TY  - RPRT
TI  - Formal Logic Enabled Personalized Federated Learning Through Property Inference
AU  - Ziyan An
AU  - Taylor T. Johnson
AU  - Meiyi Ma
PY  - 2024
UR  - https://arxiv.org/abs/2401.07448
ID  - 2401.07448
ER  -