Knowledge Compilation for Quantification in Alternating Automata. - S. Akshay 001; Alfredo Cantarella; Supratik Chakraborty; Bernd Finkbeiner; Niklas Metzger 001 (CoRR, 2026)