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

    64 Downloads (Pure)
    • 1 Conference contribution
    Filter
    Conference contribution

    Search results

    • 2014

      Modelling and analysis of Markov reward automata

      Guck, D., Timmer, M., Hatefi, H., Ruijters, E. J. J. & Stoelinga, M. I. A., Nov 2014, Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014. Cassez, F. & Raskin, J.-F. (eds.). Berlin: Springer, p. 168-184 17 p. (Lecture Notes in Computer Science; vol. 8837).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

      Open Access
      File
      24 Citations (Scopus)
      225 Downloads (Pure)