Uniform generation of large traces

Samy Abbes, Vincent Jugé

We introduce an algorithm for the uniform generation of infinite traces, i.e., infinite words up to commutation of some letters. The algorithm outputs on-the-fly approximations of…