Multi terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains

H. Hermanns, J. Meyer-Kayser, M. Siegle

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationNumerial Solution of Markov Chains (NSMC'99)
    Subtitle of host publication3rd international workshop, Zaragoza, Spain, September 1999
    EditorsB. Plateau, W.J. Stewart, M. Silva
    Place of PublicationZaragoza, Spain
    PublisherPrensas Universitarias de Zaragoza
    Pages188-207
    Number of pages20
    ISBN (Print)84-7733-512-5
    Publication statusPublished - 14 Feb 1999
    Event3rd International Workshop on the Numerical Solution of Markov Chains, NSMC 1999 - Zaragossa, Spain
    Duration: 6 Sep 199910 Sep 1999
    Conference number: 3

    Workshop

    Workshop3rd International Workshop on the Numerical Solution of Markov Chains, NSMC 1999
    Abbreviated titleNSMC
    CountrySpain
    CityZaragossa
    Period6/09/9910/09/99

    Keywords

    • FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS
    • FMT-BDD: BINARY DECISION DIAGRAMS
    • Continuous-time Markov decision process (CTMDP)
    • FMT-PM: PROBABILISTIC METHODS
    • FMT-PA: PROCESS ALGEBRAS

    Cite this