Specification Techniques for Markov Reward Models

Boudewijn R. Haverkort, Kishor S. Trivedi

    Research output: Contribution to journalArticleAcademicpeer-review

    36 Citations (Scopus)

    Fingerprint Dive into the research topics of 'Specification Techniques for Markov Reward Models'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science