A stochastic reachability approach to portfolio construction in finance industry