@misc{indiciae1930de8c2b16,
  title = {Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic},
  author = {Charles Dawson and Chuchu Fan},
  year = {2022},
  url = {https://arxiv.org/abs/2203.02038},
  note = {Source identifier: 2203.02038}
}