ATL*AS: An Automata-Theoretic Approach and Tool for the Verification of Strategic Abilities in Multi-Agent Systems. - Sofia Garcia de Blas Garcia-Alcalde; Francesco Belardinelli (CoRR, 2025)