Skip to content
conftrace_

temporal logic reasoning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

property inference (1) client model personalization (1) aggregation cluster (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