Sunkil Yun

According to our database, Sunkil Yun authored at least 3 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2019

Human-Machine Interface Design and Verification for an Automated Driving System Using System Model and Driving Simulator.

Sunkil Yun, Takaaki Teshima, Hidekazu Nishimura

IEEE Consumer Electron. Mag., 2019

2016

Introduction of driver's delay into "model checking" for verification of safe interactions between a driver and an automated driving system.

Satoko Kinoshita, Hidekazu Nishimura, Sunkil Yun, Noriyasu Kitamura

Proceedings of the IEEE International Symposium on Systems Engineering, 2016

2015

Analysis of a driver and automated driving system interaction using a communicating sequential process.

Satoko Kinoshita, Sunkil Yun, Noriyasu Kitamura, Hidekazu Nishimura

Proceedings of the IEEE International Symposium on Systems Engineering, 2015