TY - RPRT TI - Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions AU - Xiao Li AU - Calin Belta PY - 2019 UR - https://arxiv.org/abs/1903.09885 ID - 1903.09885 ER -