Efficient algorithm for computing the k-reachability region from a point | Synapse