A Structural Approach to State Space Decomposition for Approximate Reachability Analysis.

Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi

Browse the full ICCD paper archive.