Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

Lei Song, Lijun Zhang, Jens Christian Godskesen

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

    Original languageEnglish
    Book seriesLecture Notes in Computer Science
    Volume8318
    Pages (from-to)98-117
    ISSN0302-9743
    DOIs
    Publication statusPublished - 2014

    Cite this