@misc{indiciae34f1b4b8a13a,
  title = {CaStL: Constraints as Specifications through LLM Translation for Long-Horizon Task and Motion Planning},
  author = {Weihang Guo and Zachary Kingston and Lydia E. Kavraki},
  year = {2024},
  url = {https://arxiv.org/abs/2410.22225},
  note = {Source identifier: 2410.22225}
}