Skill Transfer for Temporal Task Specification
Jason Xinyu Liu,Ankit Shah,Eric Rosen,Mingxi Jia,George Konidaris,Stefanie Tellex,Jason Xinyu Liu,Ankit Shah,Eric Rosen,Mingxi Jia,George Konidaris,Stefanie Tellex
Deploying robots in real-world environments, such as households and manufacturing lines, requires generalization across novel task specifications without violating safety constraints. Linear temporal logic (LTL) is a widely used task specification language with a compositional grammar that naturally induces commonalities among tasks while preserving safety guarantees. However, most prior work on r...
