Kai Shen, Joseph K. Scott. Tight Reachability Bounds for Nonlinear Systems Using Nonlinear and Uncertain Solution Invariants. In 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018. pages 6236-6241, IEEE, 2018. [doi]