2026-03-09T21:54:50Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00214667 2025-01-19T16:31:28Z 6504:10735:10805

矛盾許容階層確率CTLモデル検査に対する論理と具体例 山本, ノリコ ニークアン, クー 楊, 奕偉 石野, 寛人 神戸, 勢大 上出, 哲広 ソフトウェア科学・工学 矛盾許容階層確率CTLモデル検査は, 矛盾許容性, 階層性および確率性を持つモデルを検証可能な, CTLモデル検査の拡張である. 本研究では, 矛盾許容階層確率CTLモデル検査を実現するための論理を提案し, それを用いた矛盾許容階層確率CTLモデル検査の具体例を提示した. 矛盾許容階層確率CTLモデル検査を実現するための論理として, 従来の確率計算木論理pCTLを拡張した新たな論理IHpCTLを導入した. そして, IHpCTLを用いた矛盾許容階層確率CTLモデル検査の具体例として臨床推論モデルの検証例を示した. 情報処理学会 2021-03-04 jpn conference paper https://ipsj.ixsq.nii.ac.jp/records/214667 AN00349328 第83回全国大会講演論文集 2021 1 115 116 https://ipsj.ixsq.nii.ac.jp/record/214667/files/IPSJ-Z83-2B-02.pdf application/pdf 260.4 kB 2021-12-28