Department of Computer Science, Princeton University, United States; Department of Computer Science, Brown University, United States
language grounding;temporal reasoning;robot navigation;formal methods
Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments