TY - RPRT TI - Propagation of~Interval Belief Structures and~Imprecise Copulas for~Neural Network Verification AU - Francesc Pifarre-Esquerda AU - Eric Goubault AU - Sylvie Putot PY - 2026 UR - https://arxiv.org/abs/2606.30105 ID - 2606.30105 ER -