@misc{indiciaeb83b355e73a8,
  title = {LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning},
  author = {Dung Thuy Nguyen and Ziyan An and Taylor T. Johnson and Meiyi Ma and Kevin Leach},
  year = {2026},
  url = {https://arxiv.org/abs/2411.03231},
  note = {Source identifier: 2411.03231}
}