TY  - RPRT
TI  - Bisimulations and Logical Characterizations on Continuous-time Markov Decision Processes
AU  - Lei Song
AU  - Lijun Zhang
AU  - Jens Chr. Godskesen
PY  - 2013
UR  - https://arxiv.org/abs/1204.1848
ID  - 1204.1848
ER  -