Mandelbrot Set using SOS Methods, Gayme, Fazel, Doyle]; Complexity in Automation of SOS Proofs: An Illustrative Example, Gayme et al.,; Optimization Based Methods for Determining Basins of Attraction in the Logistic Map and Set Membership in the Mandelbrot Set, Gayme et al.
There will be a course project to be discussed.