5 citations · 6 across the 3 of their papers we have counts for
4 papers
LogiC-Diff: Embedding Security Properties Into AI-Enabled Cyber-Physical Systems
Ziyan An, John Stankovic, Meiyi Ma
AI-enabled Cyber-Physical Systems (CPS) are highly vulnerable to adversarial and anomalous inputs, where small perturbations can induce cascading errors and unsafe control actions.…
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…
Designing Decision Support Systems for Emergency Response: Challenges and Opportunities
Geoffrey Pettet, Hunter Baxter, Sayyed Mohsen Vazirizade +4
Designing effective emergency response management (ERM) systems to respond to incidents such as road accidents is a major problem faced by communities. In addition to responding to…