Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes.

Martin R. Neuhuer, Joost-Pieter Katoen

Browse the full CONCUR paper archive.