Blending kinematic and software models for tighter reachability analysis.

Carl Hildebrandt, Sebastian G. Elbaum, Nicola Bezzo

Browse the full ICSE paper archive.