8 citations · 17 across the 9 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.AI2023
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…
cs.AI2023★ 5 cited
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…
cs.AI2023
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…