Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes.

Lei Song, Lijun Zhang, Jens Chr. Godskesen

Browse the full VMCAI paper archive.