@inproceedings{CTT100661006,
  author = {冨田尭 and 山崎徹郎 and 萩原茂樹 and 米崎直樹},
  title = {確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法},
  booktitle = {日本ソフトウェア科学会第30回大会講演論文集},
  year = 2013,
}