Probabilistic automata

Published --