TY - RPRT TI - Iterator-Based Temporal Logic Task Planning AU - Sebastián Zudaire AU - Martín Garrett AU - Sebastián Uchitel PY - 2020 UR - https://arxiv.org/abs/2001.07678 ID - 2001.07678 ER -