12 citations · 21 across the 6 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2024★ 1 cited
Assurance of AI Systems From a Dependability Perspective
Robin Bloomfield, John Rushby
We outline the principles of classical assurance for computer-based systems that pose significant risks. We then consider application of these principles to systems that employ Art…
cs.AI2024★ 2 cited
Defeaters and Eliminative Argumentation in Assurance 2.0
Robin Bloomfield, Kate Netkachova, John Rushby
A traditional assurance case employs a positive argument in which reasoning steps, grounded on evidence and assumptions, sustain a top claim that has external significance. Human j…