Login / Signup
Yukikazu Koide
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 2
Top Topics
Formal Verification
Logistics Industry
Viewpoint
Dc Motor
Top Venues
HCI (41)
SII
</>
Publications
</>
Nobuhiko Miyamoto
,
Hironobu Okamoto
,
Noriaki Ando
,
Yukikazu Koide
Formal Verification of Merging Arbitration Control System for Logistics Robots.
SII
(2024)
Jouh Yeong Chew
,
Takashi Okuma
,
Eiichi Yoshida
,
Yukikazu Koide
Modeling Viewpoint of Forklift Operators Using Context-Based Clustering of Gaze Fixations.
HCI (41)
(2021)