Knowledge Compilation for Quantification in Alternating Automata (ArXiv cs.LO Recent Papers, 2026)