Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes

Martin R. Neuhäußer, Lijun Zhang

    Research output: Contribution to journalConference articleResearchpeer-review

    Original languageEnglish
    Book seriesSixth International Conference on the Quantitative Evaluation of Systems
    ISSN0302-9743
    Publication statusPublished - 2010
    Event7th International Conference on Quantitative Evaluation of Systems - Williamsburg, VA, United States
    Duration: 15 Sep 201018 Sep 2010
    Conference number: 7
    http://www.qest.org/qest2010/

    Conference

    Conference7th International Conference on Quantitative Evaluation of Systems
    Number7
    CountryUnited States
    CityWilliamsburg, VA
    Period15/09/201018/09/2010
    Internet address

    Cite this