Weighted automata and weighted logics with discounting

Authors: 
Droste, M.
Rahonis, G.
Year: 
2009
Appeared / Erschienen in: 
Theoretical Computer Science 410 (2009), 3481-3494.