ＮＩＩ、自動運転に数学的保証与える技術開発
情報・システム研究機構国立情報学研究所（ＮＩＩ）は７月７日、アーキテクチャ科学研究系の蓮尾一郎教授らの研究チームが、自動運転システムの安全性に強い数学的保証を与える技術とその基礎理論を開発したと発表した。自動運転の社会受容の加速につなげる。
研究では、自動運転安全性の数学的証明のための既存の方法論「
ＩＴ
-
農機・建機・ボートの自動運転技術に注目＝ＣＥＳ
2025/01/15（水）
-
メルセデス、話せる車投入へ＝グーグルと開発
欧州 ＩＴ2025/01/15（水）
-
反射材付きの衣服、衝突防止センサーの妨げに
北米 ＩＴ2025/01/14（火）
-
ＮＸＰ、航空技術で米ハネウェルと提携拡大
欧州 ＩＴ2025/01/10（金）
-
ステランティス、ＳＤＶ開発で独ｄスペースと提携
欧州 ＩＴ2025/01/09（木）
