TY  - RPRT
TI  - Knowledge Compilation for Quantification in Alternating Automata
AU  - S. Akshay
AU  - Alfredo Cantarella
AU  - Supratik Chakraborty
AU  - Bernd Finkbeiner
AU  - Niklas Metzger
PY  - 2026
UR  - https://arxiv.org/abs/2605.02017
ID  - 2605.02017
ER  -