Modelling and Analysis of Markov Reward Automata.

Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Marille Stoelinga

Browse the full ATVA paper archive.