@misc{indiciae1ccbc7d157f0,
  title = {Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications},
  author = {Mingyu Cai and Makai Mann and Zachary Serlin and Kevin Leahy and Cristian-Ioan Vasile},
  year = {2023},
  url = {https://arxiv.org/abs/2210.01162},
  note = {Source identifier: 2210.01162}
}