Skip to content
conftrace_

aggregation cluster

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

temporal logic reasoning (1) property inference (1) client model personalization (1) personalized learning (1) temporal logic (1) client heterogeneity (1) federated learning (1)

Papers

Formal Logic Enabled Personalized Federated Learning through Property Inference AAAI 2024