Fig. 3From: Evaluation of properties over phylogenetic trees using stochastic logicsProbabilistic model checking framework in phylogeneticsBack to article page