Strategies for MDP Bisimilarity Equivalence and Inequivalence.

Stefan Kiefer, Qiyi Tang

Browse the full CONCUR paper archive.