| emsoft | participants

Chuchu Fan

EMSOFT 2016: 16th International Conference on Embedded Software

Locally Optimal Reach Set Over-Approximation for Nonlinear Systems

Chuchu Fan, James Kapinski, Xiaoqing Jin, and Sayan Mitra