@techreport{oai:ipsj.ixsq.nii.ac.jp:00068049,
 author = {小林, 孝一 and 平石, 邦彦 and Koichi, Kobayashi and Kunihiko, Hiraishi},
 issue = {10},
 month = {Feb},
 note = {確率ブーリアンネットワーク （PBN） は，遺伝子ネットワークに代表される生体ネットワークのモデルの一つであり，盛んに研究が行われている．本論文では，PBN の可到達性および安全性の解析と最適制御のための計算手法を提案する．最適制御では，整数計画法を用いた手法を提案する．可到達性および安全性の解析では，確率モデル検査ツールを用いた手法を提案する．, A probabilistic Boolean network (PBN) is one of the models of biological networks such as gene regulatory networks, and has been extensively studied. In this paper, computational techniques for reachability/safety analysis and optimal control are proposed. In optimal control, an integer programming-based method is proposed. In reachability/safety analysis, a model checking approach is proposed.},
 title = {確率ブーリアンネットワークの解析と制御のための計算手法},
 year = {2010}
}