Pruning Cannot Hurt Robustness: Certified Trade-offs in Reinforcement Learning. - James Pedley; Benjamin Etheridge; Stephen J. Roberts; Francesco Quinzan (CoRR, 2025)