A converse sum-of-squares Lyapunov result: An existence proof based on the Picard iteration | IEEE Conference Publication | IEEE Xplore