Publication

[ButkovaWH17] Long-Run Rewards for Markov Automata Butkova, Y.; Wimmer, R. and Hermanns, H. In TACAS, pages 188-203, LNCS 10206, 2017.
Downloads: bib