TY - RPRT TI - Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning AU - Kai-Chieh Hsu AU - Vicenç Rubies-Royo AU - Claire J. Tomlin AU - Jaime F. Fisac PY - 2021 DO - 10.15607/rss.2021.xvii.077 UR - https://arxiv.org/abs/2112.12288 ID - 2112.12288 ER -