"Takashi Tomita,Atsushi Ueno,Masaya Shimakawa,Shigeki Hagihara,Naoki Yonezaki.","Safraless LTL synthesis considering maximal realizability",,"Acta Informatica",,,,"pp. 1-38",2016,Oct.
"Shigeki Hagihara,Atsushi Ueno,Takashi Tomita,Masaya Shimakawa,Naoki Yonezaki","Simple synthesis of reactive systems with tolerance for unexpected environmental behavior","the 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE '16)","Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE '16)","ACM New York",,,"pp. 15-21",2016,May
"冨田尭,上野篤史,萩原茂樹,島川昌也,米崎直樹","可能な限り仕様を満たすリアクティブシステムの合成","第22回 ソフトウェア工学の基礎ワークショップ FOSE 2015","ソフトウェア工学の基礎XXII, 日本ソフトウェア科学会 FOSE 2015","近代科学社",,,"pp. 77-86",2015,Nov.
"上野篤史,冨田尭,島川昌也,萩原茂樹,米崎直樹","環境許容性のあるリアクティブシステム合成法","電子情報通信学会ソフトウェアサイエンス研究会","信学技報",,"Vol. 114","No. 510","pp. 7-12",2015,Mar.
"上野篤史,望月翔平,島川昌也,萩原茂樹,米崎直樹","LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装に関する研究",,"日本ソフトウェア科学会第30回大会講演論文集",,,,,2013,Sept.