Login / Signup
Youkichi Hosoi
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 2
Top Topics
Deterministic Finite Automaton
Markov Chain
Np Hard
Verification Method
Top Venues
CoRR
APLAS
</>
Publications
</>
Youkichi Hosoi
,
Naoki Kobayashi
,
Takeshi Tsukada
A Type-Based HFL Model Checking Algorithm.
CoRR
(2019)
Youkichi Hosoi
,
Naoki Kobayashi
,
Takeshi Tsukada
A Type-Based HFL Model Checking Algorithm.
APLAS
(2019)