Analysis of timed and long-run objectives for Markov automata

Dennis Guck, Hassan Hatefi, H. Hermanns, Joost P. Katoen, Mark Timmer

    Research output: Contribution to journalArticleAcademicpeer-review

    26 Citations (Scopus)
    102 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Analysis of timed and long-run objectives for Markov automata'. Together they form a unique fingerprint.