@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00214667,
 author = {山本, ノリコ and ニークアン, クー and 楊, 奕偉 and 石野, 寛人 and 神戸, 勢大 and 上出, 哲広},
 book = {第83回全国大会講演論文集},
 issue = {1},
 month = {Mar},
 note = {矛盾許容階層確率CTLモデル検査は, 矛盾許容性, 階層性および確率性を持つモデルを検証可能な, CTLモデル検査の拡張である. 本研究では, 矛盾許容階層確率CTLモデル検査を実現するための論理を提案し, それを用いた矛盾許容階層確率CTLモデル検査の具体例を提示した. 矛盾許容階層確率CTLモデル検査を実現するための論理として, 従来の確率計算木論理pCTLを拡張した新たな論理IHpCTLを導入した. そして, IHpCTLを用いた矛盾許容階層確率CTLモデル検査の具体例として臨床推論モデルの検証例を示した.},
 pages = {115--116},
 publisher = {情報処理学会},
 title = {矛盾許容階層確率CTLモデル検査に対する論理と具体例},
 volume = {2021},
 year = {2021}
}