Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Original language	English
Book series	Lecture Notes in Computer Science
Volume	8318
Pages (from-to)	98-117
ISSN	0302-9743
DOIs	https://doi.org/10.1007/978-3-642-54013-4
Publication status	Published - 2014

Access to Document

@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 -