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

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics.

W. Huang, Y. Zhou, Y. Sun, A. Banks, J. Meng, J. Sharp, S. Maskell, and X. Huang. CoRR, (2020)

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.

Yü-Sün Sun

Deming Sun

Hongtao Sun

Haiyan Sun

Hongqing Sun

Other publications of authors with the same name

Testing Deep Neural Networks.Y. Sun, X. Huang, and D. Kroening. CoRR, (2018)Explaining Image Classifiers Using Statistical Fault Localization.Y. Sun, H. Chockler, X. Huang, and D. Kroening. ECCV (28), volume 12373 of Lecture Notes in Computer Science, page 391-406. Springer, (2020)Safety Analysis of Autonomous Driving Systems Based on Model Learning.R. Li, T. Qin, P. Yang, C. Huang, Y. Sun, and L. Zhang. CoRR, (2022)Tutorials on Testing Neural Networks.N. Berthier, Y. Sun, W. Huang, Y. Zhang, W. Ruan, and X. Huang. CoRR, (2021)Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks.M. Usman, D. Gopinath, Y. Sun, and C. Pasareanu. RV, volume 13498 of Lecture Notes in Computer Science, page 67-84. Springer, (2022)Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models.J. Chen, J. Wang, T. Peng, Y. Sun, P. Cheng, S. Ji, X. Ma, B. Li, and D. Song. SP, page 824-841. IEEE, (2022)RobOT: Robustness-Oriented Testing for Deep Learning Systems.J. Wang, J. Chen, Y. Sun, X. Ma, D. Wang, J. Sun, and P. Cheng. ICSE, page 300-311. IEEE, (2021)Does Knowledge Graph Really Matter for Recommender Systems?H. Zhang, D. Wang, Z. Sun, Y. Li, Y. Sun, H. Liang, and W. Wang. CoRR, (2024)Building Better Bit-Blasting for Floating-Point Problems.M. Brain, F. Schanda, and Y. Sun. TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 79-98. Springer, (2019)A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling.Y. Sun, and G. Lipari. Real Time Syst., 52 (3): 323-355 (2016)

BibSonomy

Disambiguation of "Sun, Youcheng"

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

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics.

Please choose a person to relate this publication to

Yü-Sün Sun

Deming Sun

Hongtao Sun

Haiyan Sun

Hongqing Sun

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Sun, Youcheng"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics.

Please choose a person to relate this publication to

Yü-Sün Sun

Deming Sun

Hongtao Sun

Haiyan Sun

Hongqing Sun

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

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics.