Modular SMT-based analysis of nonlinear hybrid systems.

Kyungmin Bae, Sicun Gao

Browse the full FMCAD paper archive.