Showing cs.ROShow all
2 papers · 1 filter
cs.RO2025
Verifiably Following Complex Robot Instructions with Foundation Models
Benedict Quartey, Eric Rosen, Stefanie Tellex +1
When instructing robots, users want to flexibly express constraints, refer to arbitrary landmarks, and verify robot behavior, while robots must disambiguate instructions into speci…
cs.RO2024
LTL-Transfer: Skill Transfer for Temporal Task Specification
Jason Xinyu Liu, Ankit Shah, Eric Rosen +3
Deploying robots in real-world environments, such as households and manufacturing lines, requires generalization across novel task specifications without violating safety constrain…