TY - RPRT TI - Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications AU - Rafael Rodrigues da Silva AU - Hai Lin PY - 2018 UR - https://arxiv.org/abs/1803.11247 ID - 1803.11247 ER -