A Combination of Forward and Backward Reachability Analysis Methods.

Kazuhiro Ogata, Kokichi Futatsugi

Browse the full ICFEM paper archive.