Sunkil Yun

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 2

Top Topics

Deterministic Finite Automaton

Artifact Centric

Driver Assistance Systems

Pspace Complete

Top Venues

IEEE Consumer Electron. Mag.

Publications

Sunkil Yun, Takaaki Teshima, Hidekazu Nishimura
Human-Machine Interface Design and Verification for an Automated Driving System Using System Model and Driving Simulator. IEEE Consumer Electron. Mag. 8 (5) (2019)
Satoko Kinoshita, Hidekazu Nishimura, Sunkil Yun, Noriyasu Kitamura
Introduction of driver's delay into "model checking" for verification of safe interactions between a driver and an automated driving system. ISSE (2016)
Satoko Kinoshita, Sunkil Yun, Noriyasu Kitamura, Hidekazu Nishimura
Analysis of a driver and automated driving system interaction using a communicating sequential process. ISSE (2015)