@inproceedings{CTT100645919,
  author = {Takashi Tomita and Shin Hiura and Shigeki Hagihara and Naoki Yonezaki},
  title = {A Temporal Logic with Mean-Payoff Constraints},
  booktitle = {Formal Methods and Software Engineering, 14th International Conference on Formal Engineering Methods, ICFEM 2012, Lecture Notes in Computer Science},
  year = 2012,
}

@inproceedings{CTT100632103,
  author = {樋浦信 and 冨田尭 and 萩原茂樹 and 伊藤宗平 and 米崎直樹},
  title = {条件付頻度を扱えるように拡張したLTLによるリアクティブシステム仕様の充足可能性判定},
  booktitle = {},
  year = 2011,
}

@inproceedings{CTT100630708,
  author = {冨田尭 and 萩原茂樹 and 伊藤宗平 and 樋浦信 and 米崎直樹},
  title = {頻度オペレータを導入した線形時間論理に対する統計的手法を用いた確率的モデル検査},
  booktitle = {日本ソフトウェア科学会第28回大会講演論文集},
  year = 2011,
}

@inproceedings{CTT100619275,
  author = {冨田尭 and 萩原茂樹 and 樋浦信 and 伊藤宗平 and 米崎直樹},
  title = {頻度オペレータを導入したProbabilictic CTLとそのモデル検査アルゴリズム},
  booktitle = {情報処理学会第73回全国大会講演論文集},
  year = 2011,
}