Automatic Determination of Connected Sublevel Sets of CPA Lyapunov Functions. - Peter Giesl; Conor Osborne; Sigurdur F. Hafstein (SIAM J. Appl. Dyn. Syst., 2020)