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
研究成果: Conference contribution
2
被引用数
(Scopus)