Fig. 5From: Evaluation of properties over phylogenetic trees using stochastic logicsEvaluation of probabilistic temporal logic operatorsBack to article page