Modelling and Analysis of Markov Reward Automata ( extended version )

  title={Modelling and Analysis of Markov Reward Automata ( extended version )},
  author={Dennis Guck and Mark Timmer and Hassan Hatefi and Enno Ruijters and Mari{\"e}lle Stoelinga},
Costs and rewards are important ingredients for many types of systems, modelling critical aspects like energy consumption, task completion, repair costs, and memory usage. This paper introduces Markov reward automata, an extension of Markov automata that allows the modelling of systems incorporating rewards (or costs) in addition to nondeterminism, discrete probabilistic choice and continuous stochastic timing. Rewards come in two flavours: action rewards, acquired instantaneously when taking a… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-2 of 2 extracted citations

Similar Papers

Loading similar papers…