PPaperPicks

Xiongqi Zhang

2 papers at tracked venues · 1 at CORE A* · active 2025–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1IJCAI ×1

Frequent coauthors

Wang Lin
×2
Zuohua Ding
×2
Junwei Xu
×1
Yang Wang
×1
Dongming Xiang
×1
Ning Lv
×1

Papers

  1. Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network
    AAAI 2025 · Xiongqi Zhang,
    Junwei Xu
    ,
    Yang Wang
    ,
    Dongming Xiang
    ,
    Wang Lin
    ,
    Zuohua Ding
  2. Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates
    IJCAI 2025 · Xiongqi Zhang,
    Ning Lv
    ,
    Wang Lin
    ,
    Zuohua Ding