Xiongqi Zhang

According to our database, Xiongqi Zhang authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Data-driven barrier certificate generation using deep learning and symbolic regression.

Xiaoxuan Ma, Xiongqi Zhang, Ning Lv, Xiuqing Cao, Wang Lin, Zuohua Ding

J. Syst. Archit., 2025

Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates.

Xiongqi Zhang, Ning Lv, Wang Lin, Zuohua Ding

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network.

Xiongqi Zhang, Junwei Xu, Yang Wang, Dongming Xiang, Wang Lin, Zuohua Ding

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025