Marcel Chwialkowski, Eric Goubault, Sylvie Putot: Probabilistic Verification of Neural Networks with Sampling-Based Probability Box Propagation. SAIV 2025: 115-135