@article{CTT100737455,
  author = {Takashi Tomita and Atsushi Ueno and Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki.},
  title = {Safraless LTL synthesis considering maximal realizability},
  journal = {Acta Informatica},
  year = 2016,
}

@inproceedings{CTT100705446,
  author = {Shigeki Hagihara and Atsushi Ueno and Takashi Tomita and Masaya Shimakawa and Naoki Yonezaki},
  title = {Simple synthesis of reactive systems with tolerance for unexpected environmental behavior},
  booktitle = {Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE '16)},
  year = 2016,
}

@inproceedings{CTT100704282,
  author = {冨田尭 and 上野篤史 and 萩原茂樹 and 島川昌也 and 米崎直樹},
  title = {可能な限り仕様を満たすリアクティブシステムの合成},
  booktitle = {ソフトウェア工学の基礎XXII, 日本ソフトウェア科学会 FOSE 2015},
  year = 2015,
}

@inproceedings{CTT100684804,
  author = {上野篤史 and 冨田尭 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {環境許容性のあるリアクティブシステム合成法},
  booktitle = {信学技報},
  year = 2015,
}

@inproceedings{CTT100661007,
  author = {上野篤史 and 望月翔平 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装に関する研究},
  booktitle = {日本ソフトウェア科学会第30回大会講演論文集},
  year = 2013,
}