Skip to content

Peishan Huang

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

2023–2025

Best venue rank

A*

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2025ICSEEffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework.Ziji Wu, Yu Huang, Peishan Huang, Shanghua Wen, Minglong Li, Ji Wang
2023QRSCSP based Formal Modeling and Verification of Behavior Trees.Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang
2023SETTAFormal Verification Based Synthesis for Behavior Trees.Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang