TY - RPRT TI - Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata AU - Mingyu Cai AU - Shaoping Xiao AU - Zhijun Li AU - Zhen Kan PY - 2023 UR - https://arxiv.org/abs/2101.10284 ID - 2101.10284 ER -