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/ReportReportProfessional

    36 Downloads (Pure)
    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 proceedingConference contributionAcademicpeer-review

      Open Access
      24 Citations (Scopus)
      162 Downloads (Pure)