TY - RPRT TI - Towards a compositional semantics for quantitative confidence assessment in assurance arguments AU - Benjamin Herd AU - Jessica Kelly AU - Jan Sabsch AU - Lydia Gauerhof PY - 2026 UR - https://arxiv.org/abs/2605.22213 ID - 2605.22213 ER -