ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and Automata Learning | Digital Library | PAMCET | PAMCET