Detectability vverification of probabilistic Boolean networks
Xiaoguang Han, Wendong Yang, Xiaoyan Chen, Zhiwu Li, Zengqiang Chen
Topics & Concepts
CorrectnessProbabilistic logicComputer scienceBoolean functionContext (archaeology)Theoretical computer scienceGraphAlgorithmState (computer science)Artificial intelligenceBiologyPaleontologyGene Regulatory Network AnalysisFormal Methods in VerificationPetri Nets in System Modeling