← Search

Ziyan An

4 accepted papers

2025

LogiDebrief: A Signal-Temporal Logic Based Automated Debriefing Approach with Large Language Models Integration

IJCAI 2025

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 performance consistency, quality assurance is implemented to evaluate and refine call-takers' skillsets. However, traditio

Cited by 0SourcePDFScholar
2025

Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications

IROS 2025

Reward design is a key component of deep reinforcement learning (DRL), yet some tasks and designer’s objectives may be unnatural to define as a scalar cost function. Among the various techniques, formal methods integrated with DRL have garnered considerable attention due to their expressiveness and

Cited by 14SourceScholar
2024

Formal Logic Enabled Personalized Federated Learning through Property Inference

AAAI 2024technical

Recent advancements in federated learning (FL) have greatly facilitated the development of decentralized collaborative applications, particularly in the domain of Artificial Intelligence of Things (AIoT). However, a critical aspect missing from the current research landscape is the ability to enable…

Cited by 5SourcePDFScholar
2022

V2X-Sim: Multi-Agent Collaborative Perception Dataset and Benchmark for Autonomous Driving

RA-L 2022

Vehicle-to-everything (V2X) communication techniques enable the collaboration between vehicles and many other entities in the neighboring environment, which could fundamentally improve the perception system for autonomous driving. However, the lack of a public dataset significantly restricts the res

Cited by 346SourceScholar