Weighted Automata and Rewriting

(ISR 2017 Advanced Track)