Weighted Automata and Weighted Logics on Infinite Words
scientific article