Login / Signup
Shohei Mochizuki
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 1
Top Topics
Deterministic Automata
Temporal Logic
Efficient Implementation
Active Set
Top Venues
ICSCA
ICFEM
</>
Publications
</>
Masaya Shimakawa
,
Atsushi Ueno
,
Shohei Mochizuki
,
Takashi Tomita
,
Shigeki Hagihara
,
Naoki Yonezaki
Towards Efficient Implementation of Realizability Checking for Reactive System Specifications.
ICSCA
(2019)
Shohei Mochizuki
,
Masaya Shimakawa
,
Shigeki Hagihara
,
Naoki Yonezaki
Fast Translation from LTL to Büchi Automata via Non-transition-based Automata.
ICFEM
(2014)