Evaluation of properties over phylogenetic trees using stochastic logics.

Abstract excerpt

BACKGROUND: Model checking has been recently introduced as an integrated framework for extracting information of the phylogenetic trees using temporal logics as a querying language, an extension of modal logics that imposes restrictions of a boolean formula along a path of events. The phylogenetic tree is considered a transition system modeling the evolution as a sequence of genomic mutations (we understand...

Topics

Share this publication in a Topic to start or enrich a Post.

• Share to Algorithms
• Share to Likelihood Functions
• Share to Models, Genetic