Automatic Abstraction in Symbolic Trajectory Evaluation.

Sara Adams, Magnus Bjrk, Thomas F. Melham, Carl-Johan H. Seger

Browse the full FMCAD paper archive.