TY  - RPRT
TI  - AgentLTL: A Trace-Verification Framework for Measuring, Enforcing, and Training Procedural Compliance in Tool-Using LLM Agents
AU  - Laïla Elkoussy
AU  - Julien Perez
PY  - 2026
UR  - https://arxiv.org/abs/2607.02599
ID  - 2607.02599
ER  -