Song, Lei Automation of Logic, MPI for Informatics, Max Planck Society;
Song, L., Zhang, L., & Godskesen, J. C. (2014). Bisimulations and Logical Characterizations on Continuous-time Markov Decision Processes. In K. L. McMillan, & X. Rival (Eds.), Verification, Model Checking, and Abstract Interpretation (pp. 98-117). Berlin: Springer. doi:10.1007/978-3-642-54013-4_6.