LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning (bibtex)

by Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma and Kevin Leach

Reference:

Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma and Kevin Leach, "LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning", In 17th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'26), 2026.

Bibtex Entry:

@inproceedings{nguyen2026iccps,
  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},
  month = may,
  booktitle = {17th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'26)},
  publabel = {C62},
  pubtype = {C},
}