Yang Wang

Orcid: 0009-0000-6136-1932

Affiliations:
  • Zhejiang Sci-Tech University, Hangzhou, China


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Formal Synthesis of Neural Barrier Certificates for Dynamical Systems via DC Programming.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2025

Recurrent Convex Difference Neural Networks for Safety-Critical Model Predictive Control.
IEEE Robotics Autom. Lett., June, 2025

Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network.
Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025


  Loading...