@inproceedings{mingyu2023LTL,
  title={Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications},
  author=Cai, Mingyu and Mann, Makai and Serlin, Zachary and Leahy, Kevin and Kan, Zhen},
  booktitle={2023 IEEE American Control Conference (ACC)},
  year={2023},
  organization={IEEE}
}