8 citations · 17 across the 9 of their papers we have counts for
7 papers · 1 filter
LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration
Zirong Chen, Ziyan An, Jennifer Reynolds +3
Emergency response services are critical to public safety, with 9-1-1 call-takers playing a key role in ensuring timely and effective emergency operations. To ensure call-taking pe…
Combining LLMs with Logic-Based Framework to Explain MCTS
Ziyan An, Xia Wang, Hendrik Baier +6
In response to the lack of trust in Artificial Intelligence (AI) for sequential planning, we design a Computational Tree Logic-guided large language model (LLM)-based natural langu…
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…
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
Yiqi Zhao, Ziyan An, Meiyi Ma +1
Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) are widely used in automated verification, but there is a lack of interactive tools designed for educational p…
Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications
Jiangwei Wang, Shuo Yang, Ziyan An +5
Reward design is a key component of deep reinforcement learning, yet some tasks and designer's objectives may be unnatural to define as a scalar cost function. Among the various te…
Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Yiqi Zhao, Ziyan An, Xuqing Gao +2
Smart cities operate on computational predictive frameworks that collect, aggregate, and utilize data from large-scale sensor networks. However, these frameworks are prone to multi…