Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification (JAIR, 2025)