@misc{indiciae4c5d67f93ff6, title = {Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems}, author = {Jiang Liu and Naijun Zhan and Hengjun Zhao}, year = {2011}, url = {https://arxiv.org/abs/1103.3372}, note = {Source identifier: 1103.3372} }