Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

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

    Original languageEnglish
    Title of host publicationTools and algorithms for the construction and analysis of systems
    EditorsK Jensen, A. Podelski
    Place of PublicationBerlin
    PublisherSpringer
    Pages61-76
    ISBN (Print)3-540-21299-X
    Publication statusPublished - 29 Mar 2004
    Event10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004 - Barcelona, Spain
    Duration: 29 Mar 20042 Apr 2004
    Conference number: 10

    Publication series

    Name
    NumberXIV
    Volume2988
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004
    Abbreviated titleTACAS
    CountrySpain
    CityBarcelona
    Period29/03/042/04/04

    Keywords

    • METIS-218876

    Cite this

    Baier, C., Haverkort, B. R. H. M., Hermanns, H., & Katoen, J. P. (2004). Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. In K. Jensen, & A. Podelski (Eds.), Tools and algorithms for the construction and analysis of systems (pp. 61-76). Berlin: Springer.