TY  - RPRT
TI  - Counting and Sampling Traces in Regular Languages
AU  - Alexis de Colnet
AU  - Kuldeep S. Meel
AU  - Umang Mathur
PY  - 2025
DO  - 10.1145/3776723
UR  - https://arxiv.org/abs/2512.00314
ID  - 2512.00314
ER  -