Accession Number:

ADA526172

Title:

Delayed D*: The Proofs

Descriptive Note:

Researach rept.

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA ROBOTICS INST

Personal Author(s):

Report Date:

2004-09-01

Pagination or Media Count:

11.0

Abstract:

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.

Subject Categories:

  • Numerical Mathematics
  • Computer Programming and Software
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE