DRONE

国立情報学研究所

Tagged
国立情報学研究所、自動運転車の安全性を数学的に証明する手法を開発

国立情報学研究所、自動運転車の安全性を数学的に証明する手法を開発

情報・システム研究機構 国立情報学研究所(以下:NII)の蓮尾一郎教授らは、車の自動運転システムの安全性に強い数学的保証を与える技術と基礎理論を明示した。 背景 自動運転のような複雑なシステムの安全性を数学的に証明することは一般的に困難だが、RSSは交通安全のためのルールを数式で書き表すことによって、自動運転車の安全性...
Return Top