Yang Wang

According to our database, Yang Wang authored at least 3 papers in 2025.

Collaborative distances:

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

2025

Formal Synthesis of Neural Barrier Certificates for Dynamical Systems via DC Programming.

Yang Wang, Hanlong Chen, Wang Lin, Zuohua Ding

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2025

Recurrent Convex Difference Neural Networks for Safety-Critical Model Predictive Control.

Hanlong Chen, Yang Wang, Wang Lin, Zuohua Ding

IEEE Robotics Autom. Lett., June, 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