@misc{indiciae31e02804fc02,
  title = {Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications},
  author = {Karen Leung and Marco Pavone},
  year = {2022},
  url = {https://arxiv.org/abs/2202.01997},
  note = {Source identifier: 2202.01997}
}