Delayed D*: The Proofs - Robotics Institute Carnegie Mellon University

Delayed D*: The Proofs

Tech. Report, CMU-RI-TR-04-51, Robotics Institute, Carnegie Mellon University, September, 2004

Abstract

In this paper, we prove a number of properties of the Delayed D* algorithm, including its termination and correctness.

BibTeX

@techreport{Ferguson-2004-9026,
author = {David Ferguson and Anthony (Tony) Stentz},
title = {Delayed D*: The Proofs},
year = {2004},
month = {September},
institute = {Carnegie Mellon University},
address = {Pittsburgh, PA},
number = {CMU-RI-TR-04-51},
}