TY  - RPRT
TI  - CaStL: Constraints as Specifications through LLM Translation for Long-Horizon Task and Motion Planning
AU  - Weihang Guo
AU  - Zachary Kingston
AU  - Lydia E. Kavraki
PY  - 2024
UR  - https://arxiv.org/abs/2410.22225
ID  - 2410.22225
ER  -