Peishan Huang

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Learning Problems

Constraint Propagation

Formal Verification

Top Venues

IEEE Internet Things J.

IEEE Commun. Lett.

Publications

Ye Liu, Peishan Huang, Fan Yang, Kai Huang, Lei Shu
QuAsyncFL: Asynchronous Federated Learning With Quantization for Cloud-Edge-Terminal Collaboration Enabled AIoT. IEEE Internet Things J. 11 (1) (2024)
Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang
CSP based Formal Modeling and Verification of Behavior Trees. QRS Companion (2023)
Peishan Huang, Dong Li, Zhigang Yan
Wireless Federated Learning With Asynchronous and Quantized Updates. IEEE Commun. Lett. 27 (9) (2023)
Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang
Formal Verification Based Synthesis for Behavior Trees. SETTA (2023)