Accepted to appear at POPL 2027.
Approximate Counting for Symbolic Automata Alexis de Colnet, Kuldeep S. Meel, Umang Mathur POPL 2027 Logic, Decidability and Complexity Download BibTeX Accepted to appear at POPL 2027.