Suppose that the discrete-time model is used. If is dense in , then each RDT vertex is visited a countably infinite number of times after it is constructed. By ensuring that the same motion primitive is never applied twice from the same vertex, all available motion primitives will eventually be tried. This ensures that the full reachability graph is explored for a fixed . Since the reachability graph is not necessarily finite, obtaining resolution completeness is more challenging. The scheme described in Figure 14.7 can be applied by periodically varying during execution, and using smaller and smaller of values of in later iterations. If is finite, refinements can also be made to . This leads to a resolution-complete RDT.