A demo of the Matlab library: SOSTOOLS, to be presented in in the Cornell Formal Methods for Robotics Class.