Technical Reports

Normal publications can be found here.

  • Maxim Likhachev and Anthony Stentz, " R*: The Proofs, " Tech. Rep., draft version, University of Pennsylvania, Philadelphia, PA, 2008.
    DRAFT version (PDF)
  • Maxim Likhachev and Anthony Stentz, " PPCP: The Proofs, " Tech. Rep., draft version, University of Pennsylvania, Philadelphia, PA, 2008.
    Full version (PDF)
  • Maxim Likhachev, Dave Ferguson, Geoff Gordon, Anthony Stentz and Sebastian Thrun, " Anytime Dynamic A*: The Proofs, " Tech. Rep. CMU-RI-05-12, Carnegie Mellon University, Pittsburgh, PA, 2005.
    Full version (PDF)
  • Maxim Likhachev, Geoff Gordon, and Sebastian Thrun, " ARA*: Formal Analysis, " Tech. Rep. CMU-CS-03-148, Carnegie Mellon University, Pittsburgh, PA, 2003.
    Full version (PDF)