Johan Oudinet

Random exploration of models

Johan Oudinet, 2010 .

Uniform Monte-Carlo Model Checking

Alain Denise, Richard Lassaigne, Sylvain Peyronnet, 2011, FASE.

A new dichotomic algorithm for the uniform random generation of words in regular languages

Alain Denise, Marie-Claude Gaudel, Johan Oudinet, 2013, Theor. Comput. Sci..