樋浦信

Articles:  1-1 of 1

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

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

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

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

    IPSJ 

Page Top