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 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)

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)

Xiangdong Wang

Bingjun Wang

Other publications of authors with the same name

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)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)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)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)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)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)A structure-time parallel implementation of spike-based deep learning.X. Wu, Y. Wang, H. Tang, and R. Yan. Neural Networks, (2019)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)

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 in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.

Please choose a person to relate this publication to

Yixuan Xie

Wang Wang

Linfang Wang

Xiangdong Wang

Bingjun 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 in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.

Please choose a person to relate this publication to

Yixuan Xie

Wang Wang

Linfang Wang

Xiangdong Wang

Bingjun 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 in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees.