Stochastization of Weighted Automata - Guy Avni; Orna Kupferman (Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, 2015)