Media type: E-Article Title: Tools and Algorithms for the Construction and Analysis of Systems: Long-Run Rewards for Markov Automata Contributor: Butkova, Yuliya; Wimmer, Ralf; Hermanns, Holger Published: Springer Berlin Heidelberg, 2017 Published in: Tools and Algorithms for the Construction and Analysis of Systems (2017), Seite 188-203 Language: Not determined DOI: 10.1007/978-3-662-54580-5_11 ISSN: 1611-3349; 0302-9743 Origination: Footnote: