Formal Logic-guided Robust Federated Learning against Poisoning Attacks

Open in new window