Youcheng Sun

The University of Manchester

Oxford Road

Manchester, M13 9PL

United Kingdom

Learn more about SSRN Profiles

SCHOLARLY PAPERS

1

DOWNLOADS

27

TOTAL CITATIONS

0

Feedback

Scholarly Papers (1)

Sort by:

Actions:

View:
Selected
Original List
All Versions Hide All Versions
All Abstracts Hide All Abstracts

(Rank)

1.

Formal Verification of Robustness and Resilience Of Learning-Enabled State Estimation Systems

Number of pages: 22 Posted: 11 Aug 2023

Wei Huang, Yifan Zhou, Gaojie Jin, Youcheng Sun, Jie Meng, Fan Zhang and Xiaowei Huang

affiliation not provided to SSRN, University of Liverpool, University of Liverpool, The University of Manchester, Loughborough University, affiliation not provided to SSRN and University of Liverpool

Downloads 27 (1,385,945)

Abstract:

Feedback

All content on this site: Copyright © 2026 Elsevier Inc., its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply.

We use cookies to help provide and enhance our service and tailor content.

To learn more, visit .