WEKO3
アイテム
矛盾許容階層確率CTLモデル検査に対する論理と具体例
https://ipsj.ixsq.nii.ac.jp/records/214667
https://ipsj.ixsq.nii.ac.jp/records/21466798299ef4-52be-4c49-875b-55cd77a348c4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z83-2B-02.pdf (260.4 kB)
|
Copyright (c) 2021 by the Information Processing Society of Japan
|
| Item type | National Convention(1) | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2021-03-04 | |||||||||||||||||
| タイトル | ||||||||||||||||||
| タイトル | 矛盾許容階層確率CTLモデル検査に対する論理と具体例 | |||||||||||||||||
| 言語 | ||||||||||||||||||
| 言語 | jpn | |||||||||||||||||
| キーワード | ||||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||
| 主題 | ソフトウェア科学・工学 | |||||||||||||||||
| 資源タイプ | ||||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||||||
| 資源タイプ | conference paper | |||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 帝京大 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 帝京大 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 帝京大 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 帝京大 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 帝京大 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 帝京大 | ||||||||||||||||||
| 著者名 |
山本, ノリコ
× 山本, ノリコ
× ニークアン, クー
× 楊, 奕偉
× 石野, 寛人
× 神戸, 勢大
× 上出, 哲広
|
|||||||||||||||||
| 論文抄録 | ||||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||||
| 内容記述 | 矛盾許容階層確率CTLモデル検査は, 矛盾許容性, 階層性および確率性を持つモデルを検証可能な, CTLモデル検査の拡張である. 本研究では, 矛盾許容階層確率CTLモデル検査を実現するための論理を提案し, それを用いた矛盾許容階層確率CTLモデル検査の具体例を提示した. 矛盾許容階層確率CTLモデル検査を実現するための論理として, 従来の確率計算木論理pCTLを拡張した新たな論理IHpCTLを導入した. そして, IHpCTLを用いた矛盾許容階層確率CTLモデル検査の具体例として臨床推論モデルの検証例を示した. | |||||||||||||||||
| 書誌レコードID | ||||||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||||||
| 収録物識別子 | AN00349328 | |||||||||||||||||
| 書誌情報 |
第83回全国大会講演論文集 巻 2021, 号 1, p. 115-116, 発行日 2021-03-04 |
|||||||||||||||||
| 出版者 | ||||||||||||||||||
| 言語 | ja | |||||||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||||||
