樋浦信

論文一覧:  1件中 1-1 を表示

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

    冨田尭 , 萩原茂樹 , 樋浦信 , 伊藤宗平 , 米崎直樹

    確率的なシステムの性質の記述にはしばしば確率計算木論理Probabilistic Computation Tree Logic (PCTL)が用いられている。PCTLでは、「いつかイベントが生起する」や「ずっとイベントが生起し続けている」などの性質を満たすパスの生起確率に言及できる。しかし、「80% 以上の頻度でイベントが生起する」などのイベントの生起頻度に関する性質を記述することはできない。本稿 …

    第73回全国大会講演論文集 2011(1), 235-236, 2011-03-02

    情報処理学会

ページトップへ