TY  - RPRT
TI  - Testing the Planning Claims of LLM-Based Agents against Formal Semantics
AU  - Oriol Miro-Lopez-Feliu
AU  - Oscar Miró López-Feliu
AU  - Victor Gimenez-Abalos
AU  - Javier Vazquez-Salceda
AU  - Victor Carballo Araruna
AU  - Sergio Alvarez-Napagao
PY  - 2026
UR  - https://arxiv.org/abs/2610.22469
ID  - 2610.22469
ER  -