  Reachable sets of nonlinear control systems can in general only be
approximated numerically, and these approximations are typically very expensive
to compute. In this paper, we explore a strategy for choosing the temporal and
spatial discretizations of Euler's method for reachable set computation in a
non-uniform way to improve the performance of the method.
