Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

Lei Song, Lijun Zhang, Jens Christian Godskesen

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    OriginalsprogEngelsk
    BogserieLecture Notes in Computer Science
    Vol/bind8318
    Sider (fra-til)98-117
    ISSN0302-9743
    DOI
    StatusUdgivet - 2014

    Citationsformater