@inproceedings{AK15, author = "G. Avni and O. Kupferman", title = "Stochastization of Weighted Automata", booktitle = mfcs15, series = lncs, volume = "?", pages = "?", publisher = springer, year = "2015" }