Delayed D*: The Proofs
CARNEGIE-MELLON UNIV PITTSBURGH PA ROBOTICS INST
Pagination or Media Count:
In this paper, we prove a number of properties of the Delayed D algorithm introduced in 1, including its termination and correctness. In what follows, we deal with the fixed initial state version of Delayed D shown in Figures 1 and 2, but these results can easily be extended, following similar lines as in 2, to the navigation version.
- Numerical Mathematics
- Computer Programming and Software