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