Under-approximate flowpipes for non-linear continuous systems.

Xin Chen, Sriram Sankaranarayanan, Erika brahm

Browse the full FMCAD paper archive.