CSP based Formal Modeling and Verification of Behavior Trees. - Peishan Huang; Weijiang Hong; Zhenbang Chen; Ji Wang 001 (QRS Companion, 2023)

Formal Verification Based Synthesis for Behavior Trees. - Weijiang Hong; Zhenbang Chen; Minglong Li; Yuhan Li; Peishan Huang; Ji Wang 001 (SETTA, 2023)

Wireless Federated Learning With Asynchronous and Quantized Updates. - Peishan Huang; Dong Li 009; Zhigang Yan (IEEE Commun. Lett., 2023)

QuAsyncFL: Asynchronous Federated Learning With Quantization for Cloud-Edge-Terminal Collaboration Enabled AIoT. - Ye Liu 004; Peishan Huang; Fan Yang 067; Kai Huang 006; Lei Shu 001 (IEEE Internet Things J., 2024)

EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework. - Ziji Wu; Yu Huang; Peishan Huang; Shanghua Wen; Minglong Li; Ji Wang 001 (ICSE, 2025)

Exploring Textual Semantics Diversity for Image Transmission in Semantic Communication Systems using Visual Language Model. - Peishan Huang; Dong Li (CoRR, 2025)