Improved Approximate Reachability Using Auxiliary State Variables.

Shankar G. Govindaraju, David L. Dill, Jules P. Bergmann

Browse the full DAC paper archive.