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