TY - RPRT TI - Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata AU - Ryohei Oura AU - Ami Sakakibara AU - Toshimitsu Ushio PY - 2020 DO - 10.1109/lcsys.2020.2980552 UR - https://arxiv.org/abs/2001.04669 ID - 2001.04669 ER -