ＮＩＩ、自動運転に数学的保証与える技術開発
情報・システム研究機構国立情報学研究所（ＮＩＩ）は７月７日、アーキテクチャ科学研究系の蓮尾一郎教授らの研究チームが、自動運転システムの安全性に強い数学的保証を与える技術とその基礎理論を開発したと発表した。自動運転の社会受容の加速につなげる。
研究では、自動運転安全性の数学的証明のための既存の方法論「
ＩＴ
-
日本通運、自動運転の米ガティックに出資
2024/08/23（金）
-
ＧＭ、ソフトウエア部門で最大１千人削減
北米 ＩＴ2024/08/22（木）
-
カルサン、自動運転電気バスをスイスに投入
欧州 ＩＴ2024/08/21（水）
-
カルマ、ＳＤＶ設計開発でインテルと提携
北米 ＩＴ2024/08/19（月）
-
モービルアイ、自動運転の新ソフトウエア開発
中東 ＩＴ2024/08/19（月）
