TY - RPRT TI - Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications AU - Mingyu Cai AU - Makai Mann AU - Zachary Serlin AU - Kevin Leahy AU - Cristian-Ioan Vasile PY - 2023 UR - https://arxiv.org/abs/2210.01162 ID - 2210.01162 ER -