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

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems.

Q. Zhu, W. Li, C. Huang, X. Chen, W. Zhou, Y. Wang, J. Li, and F. Fu. Allerton, page 1-8. IEEE, (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.

Yixuan Xie

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylationL. Wang. Uni Marburg, (2009)

Paul Wang

Lien Wang

Other publications of authors with the same name

A Tool for Neural Network Global Robustness Certification and Training.Z. Wang, Y. Wang, F. Fu, R. Jiao, C. Huang, W. Li, and Q. Zhu. CoRR, (2022)Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.Y. Wang, C. Huang, Z. Wang, Z. Wang, and Q. Zhu. CoRR, (2021)A structure-time parallel implementation of spike-based deep learning.X. Wu, Y. Wang, H. Tang, and R. Yan. Neural Networks, (2019)Exosome microarray based on label-free imaging biosensor.Y. Wang, W. Yuan, Q. Zhang, Y. Wang, M. Kimber, L. Dong, and M. Lu. IEEE SENSORS, page 1-4. IEEE, (2019)Rapid MicroRNA Detection Using Paper-Based Isothermal Amplification.J. Qian, Q. Zhang, J. Lai, Y. Wang, and M. Lu. IEEE SENSORS, page 1-4. IEEE, (2021)Effect of Capture Illumination on Preferred White Point for Camera Automatic White Balance.B. Bodner, Y. Wang, and S. Farnand. IQSP, page 1-8. Society for Imaging Science and Technology, (2016)Towards the Development of the IEEE P1858 CPIQ Standard - A validation study.E. Jin, J. Phillips, S. Farnand, M. Belska, V. Tran, E. Chang, Y. Wang, and B. Tseng. IQSP, page 88-94. Society for Imaging Science and Technology, (2017)NDN Based Plug-n-Play and Secure Remote Health Monitoring System.P. Kar, Y. Dong, Y. Li, X. Ma, X. Ding, and Y. Wang. ICC, page 1-6. IEEE, (2021)Segmentation Guided Regression Network for Breast Cancer Cellularity.Y. Wang, L. Yu, and S. Wang. PRCV (2), volume 11858 of Lecture Notes in Computer Science, page 150-160. Springer, (2019)A Stackable Attention-Guided Multi-scale CNN for Number Plate Detection.Y. Wang, S. Zheng, W. Xu, Y. Xu, T. Zhan, P. Zheng, Z. Wei, and Z. Wu. ICIG (1), volume 11901 of Lecture Notes in Computer Science, page 199-209. Springer, (2019)

BibSonomy

Disambiguation of "Wang, Yixuan"

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

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems.

Please choose a person to relate this publication to

Yixuan Xie

Wang Wang

Linfang Wang

Paul Wang

Lien Wang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Wang, Yixuan"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems.

Please choose a person to relate this publication to

Yixuan Xie

Wang Wang

Linfang Wang

Paul Wang

Lien Wang

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

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems.