Satisfiability modulo ODEs.

Sicun Gao, Soonho Kong, Edmund M. Clarke

Browse the full FMCAD paper archive.