@misc{indiciaeab8ca387f14d,
  title = {Testing the Planning Claims of LLM-Based Agents against Formal Semantics},
  author = {Oriol Miro-Lopez-Feliu and Oscar Miró López-Feliu and Victor Gimenez-Abalos and Javier Vazquez-Salceda and Victor Carballo Araruna and Sergio Alvarez-Napagao},
  year = {2026},
  url = {https://arxiv.org/abs/2610.22469},
  note = {Source identifier: 2610.22469}
}