Verification and optimal control of context-sensitive probabilistic Boolean networks using model checking and polynomial optimization.

Verification and optimal control of context-sensitive probabilistic Boolean networks using model checking and polynomial optimization.