"Takashi Tomita,Shin Hiura,Shigeki Hagihara,Naoki Yonezaki","A Temporal Logic with Mean-Payoff Constraints","14th International Conference on Formal Engineering Methods (ICFEM 2012)","Formal Methods and Software Engineering, 14th International Conference on Formal Engineering Methods, ICFEM 2012, Lecture Notes in Computer Science","Springer","Vol. 7635",,"pp. 249-265",2012,Nov.
"樋浦信,冨田尭,萩原茂樹,伊藤宗平,米崎直樹","条件付頻度を扱えるように拡張したLTLによるリアクティフ?システム仕様の充足可能性判定","ディペンダブルシステムワークショップ & シンポジウム (DSW & DSS 2011)",,,,,,2011,Dec.
"冨田尭,萩原茂樹,伊藤宗平,樋浦信,米崎直樹","頻度オペレータを導入した線形時間論理に対する統計的手法を用いた確率的モデル検査",,"日本ソフトウェア科学会第28回大会講演論文集",,,,,2011,Sept.
"冨田尭,萩原茂樹,樋浦信,伊藤宗平,米崎直樹","頻度オペレータを導入したProbabilictic CTLとそのモデル検査アルゴリズム",,"情報処理学会第73回全国大会講演論文集",,"Vol. 1",,"pp. 235-236",2011,Mar.