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 AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025


  Loading...