TY - RPRT TI - Tractable Reinforcement Learning of Signal Temporal Logic Objectives AU - Harish Venkataraman AU - Derya Aksaray AU - Peter Seiler PY - 2020 UR - https://arxiv.org/abs/2001.09467 ID - 2001.09467 ER -