Delayed D*: The Proofs

David Ferguson and Anthony (Tony) Stentz
tech. report CMU-RI-TR-04-51, Robotics Institute, Carnegie Mellon University, September, 2004


Download
  • Adobe portable document format (pdf) (84KB)
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

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

Notes
Associated Center(s) / Consortia: Vision and Autonomous Systems Center and Field Robotics Center
Associated Project(s): CTA Robotics

Text Reference
David Ferguson and Anthony (Tony) Stentz, "Delayed D*: The Proofs," tech. report CMU-RI-TR-04-51, Robotics Institute, Carnegie Mellon University, September, 2004

BibTeX Reference
@techreport{Ferguson__2004_4783,
   author = "David {Ferguson } and Anthony (Tony) Stentz",
   title = "Delayed D*: The Proofs",
   booktitle = "",
   institution = "Robotics Institute",
   month = "September",
   year = "2004",
   number= "CMU-RI-TR-04-51",
   address= "Pittsburgh, PA",
}