@article{deColnetsymbolicautomatacounting2027,
  title = {Approximate Counting for Symbolic Automata},
  author = {de Colnet, Alexis and Meel, Kuldeep S. and Mathur, Umang},
  journal = {Proceedings of the ACM on Programming Languages},
  year = {2027},
  number = {POPL},
  note = {To appear}
}