8 citations · 17 across the 9 of their papers we have counts for
Showing 2024 · cs.AIShow all
2 papers · 2 filters
cs.AI2024★ 1 cited
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…
cs.AI2024
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…