55 citations · 338 across the 26 of their papers we have counts for
7 papers · 1 filter
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems
Saddek Bensalem, Chih-Hong Cheng, Wei Huang +3
Machine learning has made remarkable advancements, but confidently utilising learning-enabled components in safety-critical domains still poses challenges. Among the challenges, it…
Risk Controlled Image Retrieval
Kaiwen Cai, Chris Xiaoxuan Lu, Xingyu Zhao +1
Most image retrieval research prioritizes improving predictive performance, often overlooking situations where the reliability of predictions is equally important. The gap between…
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation
Xiaowei Huang, Wenjie Ruan, Wei Huang +14
Large Language Models (LLMs) have exploded a new heatwave of AI for their ability to engage end-users in human-level conversations with detailed and articulate answers across many…
Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT
Yi Qi, Xingyu Zhao, Siddartha Khastgir +1
Can safety analysis make use of Large Language Models (LLMs)? A case study explores Systems Theoretic Process Analysis (STPA) applied to Automatic Emergency Brake (AEB) and Electri…
Bayesian Learning for the Robust Verification of Autonomous Robots
Xingyu Zhao, Simos Gerasimou, Radu Calinescu +3
Autonomous robots used in infrastructure inspection, space exploration and other critical missions operate in highly dynamic environments. As such, they must continually verify the…
Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation
Yi Dong, Zhongguo Li, Xingyu Zhao +2
Multi-robot cooperative control has gained extensive research interest due to its wide applications in civil, security, and military domains. This paper proposes a cooperative cont…
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…