Yifan Zhang

Orcid: 0000-0001-6316-1723

Affiliations:

Nanjing University, State Key Laboratory for Novel Software Technology, Nanjing, China

According to our database¹, Yifan Zhang authored at least 5 papers between 2016 and 2022.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

Verifying Neural Network Controlled Systems Using Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

2018

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

2017

Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Hierarchical Model Predictive Control for Multi-Robot Navigation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Yifan Zhang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...