Probabilistic Modelling for Design and Verification of Trustworthy Autonomous Systems

A methodology based on Bayesian Network models will be developed and demonstrated to achieve measurable trust and pave the way to quantitative safety assessment of autonomous systems.