Locally optimal reach set over-approximation for nonlinear systems.

Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra

Browse the full EMSOFT paper archive.