default author photo

Gaojie Jin

University of Liverpool

Chatham Street

Brownlow Hill

Liverpool, L69 7ZA

United Kingdom

  • University of Liverpool

SCHOLARLY PAPERS

1

DOWNLOADS

27

TOTAL CITATIONS

0

Scholarly Papers (1)

Actions:
Email selected abstracts
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:

Loading...

learning-enabled system, robustness, resilience, formal verification