28 citations · 113 across the 10 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2023★ 2 cited
STPA for Learning-Enabled Systems: A Survey and A New Practice
Yi Qi, Yi Dong, Siddartha Khastgir +3
Systems Theoretic Process Analysis (STPA) is a systematic approach for hazard analysis that has been used across many industrial sectors including transportation, energy, and defen…
cs.SE2021★ 28 cited
Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance
Yi Dong, Wei Huang, Vibhav Bharti +6
The increasing use of Machine Learning (ML) components embedded in autonomous systems -- so-called Learning-Enabled Systems (LESs) -- has resulted in the pressing need to assure th…
cs.SE2021★ 7 cited
Detecting Operational Adversarial Examples for Reliable Deep Learning
Xingyu Zhao, Wei Huang, Sven Schewe +2
The utilisation of Deep Learning (DL) raises new challenges regarding its dependability in critical applications. Sound verification and validation methods are needed to assure the…