TY - RPRT TI - Certified computation of Buehler confidence limits for system reliability AU - Zhaohui Li PY - 2026 UR - https://arxiv.org/abs/2611.00711 ID - 2611.00711 ER -