Abstraction-Based Computation of Reward Measures for Markov Automata.

Bettina Braitling, Luis Mara Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns

Browse the full VMCAI paper archive.