Sampling

Counting and Sampling Traces in Regular Languages