Fig. 4From: Evaluation of properties over phylogenetic trees using stochastic logicsTranslation from a phylogenetic tree to a probabilistic transition systemBack to article page