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

Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers.

X. Zeng, Z. Yang, L. Zhang, X. Tang, Z. Zeng, and Z. Liu. AAAI, page 15278-15286. AAAI Press, (2023)

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

Resultant elimination via implicit equation interpolation.M. Tang, Z. Yang, and Z. Zeng. J. Systems Science & Complexity, 29 (5): 1411-1435 (2016)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)Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study.Z. Zeng, J. Wang, and Z. Yang. TASE, page 73-80. IEEE, (2019)Exact Verification of Hybrid Systems Based on Bilinear SOS RepresentationZ. Yang, M. Wu, and W. Lin. CoRR, (2012)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)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)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)Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation.E. Kaltofen, W. shin Lee, and Z. Yang. SNC, page 130-136. ACM, (2011)

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

Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers.

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 Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers.

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

Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers.