TY  - RPRT
TI  - ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and Automata Learning
AU  - Ignacio D. Lopez-Miguel
AU  - Andreas Happe
AU  - Jürgen Cito
AU  - Ezio Bartocci
AU  - Bettina Könighofer
AU  - Martin Tappler
PY  - 2026
DO  - 10.1145/3822455.3838777
UR  - https://arxiv.org/abs/2608.14352
ID  - 2608.14352
ER  -