@conference {278, title = {Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings}, year = {2014}, doi = {10.1007/978-3-642-54013-4_6}, url = {http://dx.doi.org/10.1007/978-3-642-54013-4_6}, author = {Lei Song and Lijun Zhang and Jens Chr. Godskesen} }