Modelling and analysis of Markov reward automata (extended version)

Dennis Guck, Mark Timmer, Hassan Hatefi, Enno J.J. Ruijters, Mariëlle I.A. Stoelinga

    Research output: Book/Report › Report › Professional

    36 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Modelling and analysis of Markov reward automata (extended version)'. Together they form a unique fingerprint.

    Engineering & Materials Science