1 paper
Benjamin Herd, Jessica Kelly, Clarissa Heinemann +1
We present a method for dynamic quantitative assurance that enhances static safety cases with continuous, runtime-driven confidence updates. The method quantifies and propagates co…