Details for the publication Song0G14.

Lei Song, Lijun Zhang, Jens Chr. Godskesen: Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes. In Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, volume 8318 of Lecture Notes in Computer Science, pages 98-117, 2014. DOI BIB