Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma, Kevin Leach. LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning. In 17th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2026, Saint Malo, France, May 11-14, 2026. pages 118-129, IEEE, 2026. [doi]
Abstract is missing.