TY - RPRT TI - Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis AU - Mohamed Amin Ben Sassi AU - Sriram Sankaranarayanan AU - Xin Chen AU - Erika Abraham PY - 2014 UR - https://arxiv.org/abs/1407.2952 ID - 1407.2952 ER -