Complete and effective robustness checking by means of interpolation.

Stefan Frehse, Grschwin Fey, Eli Arbel, Karen Yorav, Rolf Drechsler

Browse the full FMCAD paper archive.