@misc{indiciae2127fa620022,
  title = {Diverse Planning with Simulators via Linear Temporal Logic},
  author = {Mustafa F. Abdelwahed and Alice Toniolo and Joan Espasa and Ian P. Gent},
  year = {2025},
  url = {https://arxiv.org/abs/2510.17418},
  note = {Source identifier: 2510.17418}
}