8 citations · 17 across the 9 of their papers we have counts for
3 papers · 1 filter
LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning
Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson +2
This paper introduces LOGSAFE, a defense mechanism for federated learning in time series settings, particularly within cyber-physical systems. It addresses poisoning attacks by mov…
Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic
Ziyan An, Hendrik Baier, Abhishek Dubey +2
Monte Carlo tree search (MCTS) is one of the most capable online search algorithms for sequential planning tasks, with significant applications in areas such as resource allocation…
Formal Logic Enabled Personalized Federated Learning Through Property Inference
Ziyan An, Taylor T. Johnson, Meiyi Ma
Recent advancements in federated learning (FL) have greatly facilitated the development of decentralized collaborative applications, particularly in the domain of Artificial Intell…