|
[KH14]
Koichi Kobayashi and Kunihiko Hiraishi.
Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization.
The Scientific World Journal.
2014.
[Presents various techniques for analysing probabilistic Boolean networks, including one that uses probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|