55 citations · 75 across the 4 of their papers we have counts for
5 papers · 1 filter
BayLIME: Bayesian Local Interpretable Model-Agnostic Explanations
Xingyu Zhao, Wei Huang, Xiaowei Huang +2
Given the pressing need for assuring algorithmic transparency, Explainable AI (XAI) has emerged as one of the key areas of AI research. In this paper, we develop a novel Bayesian e…
Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles
Xingyu Zhao, Kizito Salako, Lorenzo Strigini +2
Context: Demonstrating high reliability and safety for safety-critical systems (SCSs) remains a hard problem. Diverse evidence needs to be combined in a rigorous way: in particular…
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Xingyu Zhao, Matt Osborne, Jenny Lantair +6
The battery is a key component of autonomous robots. Its performance limits the robot's safety and reliability. Unlike liquid-fuel, a battery, as a chemical device, exhibits compli…
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing
Xingyu Zhao, Valentin Robu, David Flynn +2
There is an urgent societal need to assess whether autonomous vehicles (AVs) are safe enough. From published quantitative safety and reliability assessments of AVs, we know that, g…
Probabilistic Model Checking of Robots Deployed in Extreme Environments
Xingyu Zhao, Valentin Robu, David Flynn +3
Robots are increasingly used to carry out critical missions in extreme environments that are hazardous for humans. This requires a high degree of operational autonomy under uncerta…