Login / Signup
Hideki Sakurada
Publication Activity (10 Years)
Years Active: 2001-2024
Publications (10 Years): 7
Top Topics
Model Checker
Formal Verification
Multi Faceted
Epistemic Logic
Top Venues
IEICE Trans. Inf. Syst.
Ann. Math. Artif. Intell.
IFIPTM
AINA (4)
</>
Publications
</>