文献

J-GLOBAL ID：201102204598578340   整理番号：11A0672658

頻度オペレータを導入したProbabilictic CTLとそのモデル検査アルゴリズム

著者 (5件)： 冨田尭 (東京工大 大学院情報理工学研究科) ,  萩原茂樹 (東京工大 大学院情報理工学研究科) ,  樋浦信 (東京工大 大学院情報理工学研究科) ,  伊藤宗平 (東京工大 大学院情報理工学研究科) ,  米崎直樹 (東京工大 大学院情報理工学研究科)
資料名： 情報処理学会全国大会講演論文集
巻： 73rd  号： 1  ページ： 1.235-1.236  発行年： 2011年03月02日 
JST資料番号： S0731A  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： 論理 ,  *確率モデル ,  *モデル検査 ,  演算子 ,  *数学モデル
準シソーラス用語： 確率計算木論理 ,  頻度オペレータ

分類 (1件)： 確率論  (AB09000O)

タイトルに関連する用語 (5件)： 頻度 ,  オペレータ ,  CTL ,  モデル検査 ,  アルゴリズム