bayesian-statistics gplv3 inla mixed-models model-checking model-validation r

computation-tree-logic dve linear-temporal-logic model-checker model-checking mu-calculus petri-net pnml promela

baum-welch hidden-markov-model machine-learning markov-chain markov-decision-processes markov-model model-checking python storm

equivalence-checker equivalence-relations hennessy-milner-logic model-checking system-analysis