Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	8318
Sider (fra-til)	98-117
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-54013-4
Status	Udgivet - 2014

Adgang til dokumentet

@inproceedings{77dc186b961144eface96281e948e0d3,

title = "Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes",

author = "Lei Song and Lijun Zhang and Godskesen, \{Jens Christian\}",

year = "2014",

doi = "10.1007/978-3-642-54013-4",

language = "English",

volume = "8318",

pages = "98--117",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

}

TY - GEN

T1 - Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

AU - Song, Lei

AU - Zhang, Lijun

AU - Godskesen, Jens Christian

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-642-54013-4

DO - 10.1007/978-3-642-54013-4

M3 - Conference article

SN - 0302-9743

VL - 8318

SP - 98

EP - 117

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -