Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains.

Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klppelholz, Jakob Piribauer

Browse the full CAV paper archive.