Stochastization of Weighted Automata. - Avni, Guy; Kupferman, Orna (2015)