@misc{indiciae6842c6c6becd,
  title = {Counting and Sampling Traces in Regular Languages},
  author = {Alexis de Colnet and Kuldeep S. Meel and Umang Mathur},
  year = {2025},
  doi = {10.1145/3776723},
  url = {https://arxiv.org/abs/2512.00314},
  note = {Source identifier: 2512.00314}
}