TY  - RPRT
TI  - Verifiably Following Complex Robot Instructions with Foundation Models
AU  - Benedict Quartey
AU  - Eric Rosen
AU  - Stefanie Tellex
AU  - George Konidaris
PY  - 2025
UR  - https://arxiv.org/abs/2402.11498
ID  - 2402.11498
ER  -