Model-Agnostic Reachability Analysis on Deep Neural Networks