Simulation for Continuous-Time Markov Chains


This paper presents a simulation preorder for continuoustime Markov chains (CTMCs). The simulation preorder is a conservative extension of a weak variant of probabilistic simulation on fully probabilistic systems, i.e., discrete-time Markov chains. The main result of the paper is that the simulation preorder preserves safety and liveness properties… (More)
DOI: 10.1007/3-540-45694-5_23


  • Presentations referencing similar topics