TY - RPRT TI - A Converse Sum of Squares Lyapunov Function for Outer Approximation of Minimal Attractor Sets of Nonlinear Systems AU - Morgan Jones AU - Matthew M. Peet PY - 2023 UR - https://arxiv.org/abs/2110.03093 ID - 2110.03093 ER -