Computer-aided robustness analysis for characteristic polynomials with polynomial parameter dependence | IEEE Conference Publication | IEEE Xplore