@InProceedings{bonet:lrtdp,
  author = "B. Bonet and H. Geffner",
  title = "Labeled {RTDP}: {I}mproving the Convergence of Real-time Dynamic Programming",
  pages = "12--21",
  booktitle = "Proc. 13th International Conf. on Automated Planning and Scheduling",
  editor = "E. Giunchiglia and N. Muscettola and D. Nau",
  address = "Trento, Italy",
  year = "2003",
  publisher = "AAAI Press"
}