Computer-aided robustness analysis for characteristic polynomials with polynomial parameter dependence