Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

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

Q. Zhao, X. Chen, Y. Zhang, M. Sha, Z. Yang, W. Lin, E. Tang, Q. Chen, and X. Li. HSCC, page 17:1-17:11. ACM, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhengfeng Zhang

Zhengfeng Qian

Yang Yang

Other publications of authors with the same name

Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study.Z. Zeng, J. Wang, and Z. Yang. TASE, page 73-80. IEEE, (2019)Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients.M. Wu, and Z. Yang. SNC, page 104-111. ACM, (2011)Sparse multivariate function recovery from values with noise and outlier errors.E. Kaltofen, and Z. Yang. ISSAC, page 219-226. ACM, (2013)Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution.J. Chao, Z. Zhou, H. Gao, J. Gong, Z. Yang, Z. Zeng, and L. Dehbi. CVPR, page 14102-14111. IEEE, (2023)Safe DNN-type Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning.H. Zhao, X. Zeng, N. Qi, Z. Yang, and Z. Zeng. DAC, page 1-6. IEEE, (2023)Sponsored Search Auction Design Beyond Single Utility Maximization.C. Xu, C. Peng, C. Xu, and Z. Yang. CoRR, (2024)Improvement of Oracle Bone Inscription Recognition Accuracy: A Deep Learning Perspective.X. Fu, Z. Yang, Z. Zeng, Y. Zhang, and Q. Zhou. ISPRS Int. J. Geo Inf., 11 (1): 45 (2022)Efficient Deep Models for Real-Time 4K Image Super-Resolution. NTIRE 2023 Benchmark and Report.M. Conde, E. Zamfir, R. Timofte, D. Motilla, C. Liu, Z. Zhang, Y. Peng, Y. Lin, J. Guo, X. Zou and 83 other author(s). CVPR Workshops, page 1495-1521. IEEE, (2023)Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric ComputationZ. Yang, M. Wu, and W. Lin. CoRR, (2013)Simplification of Numerical Rational Surfaces.L. Shen, M. Wu, and Z. Yang. CSO (1), page 617-621. IEEE Computer Society, (2009)

BibSonomy

Disambiguation of "Yang, Zhengfeng"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

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

Please choose a person to relate this publication to

Zhengfeng Zhang

Zhengfeng Qian

Yang Yang

Yang Yang

Yang Yang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Yang, Zhengfeng"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.

Please choose a person to relate this publication to

Zhengfeng Zhang

Zhengfeng Qian

Yang Yang

Yang Yang

Yang Yang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

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