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

1 被引用数 (Scopus)

フィンガープリント

「Introduction of driver's delay into 'model checking' for verification of safe interactions between a driver and an automated driving system」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Mathematics

Engineering & Materials Science