Fast Translation from LTL to Büchi Automata via Non-transition-based Automata. - Shohei Mochizuki; Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (ICFEM, 2014)

Towards Efficient Implementation of Realizability Checking for Reactive System Specifications. - Masaya Shimakawa; Atsushi Ueno; Shohei Mochizuki; Takashi Tomita; Shigeki Hagihara; Naoki Yonezaki (ICSCA, 2019)