情報・システム研究機構「国立情報学研究所」の研究チームが、自動運転システムの安全性に数学的保証を与える技術とその基礎理論を発表した。イスラエルのMobileye（モービルアイ）が策定した自動運転の安全性に関する数式モデル「RSS（責任感知型安全論／responsibility-sensitive safety）」の応用範囲を拡張した手法「GA-RSS（goal-aware RSS）」を確立したという。自動運転車の安全を数学的に証明するとはどういうことなのか。この記事では、RSSの概要とともに、同研究所の取り組みにについて解説していく。
自動運転車の安全を「数学的」に証明！日本の研究チーム（自動運転ラボ）