Shohei Mochizuki

According to our database, Shohei Mochizuki authored at least 2 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Towards Efficient Implementation of Realizability Checking for Reactive System Specifications.

Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 8th International Conference on Software and Computer Applications, 2019

2014

Fast Translation from LTL to Büchi Automata via Non-transition-based Automata.

Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Formal Methods and Software Engineering, 2014