ホーム
カーニュース
ニューモデル
試乗記
道路交通/社会
鉄道
船舶
航空
宇宙
モーターサイクル
ニュース
ニューモデル
試乗記
カーライフ
カスタマイズ
カーグッズ
カーオーディオ
モータースポーツ/エンタメ
リペア・
メンテナンス
EV特集
ロボット
AI
ビジネス
プレミアム
業界動向
テクノロジー
キーパーソンインタビュー
セミナー
見逃し配信
レポート
リスキリング
講座
ビジネス
会員について
ホーム
›
プレミアム
›
ビジネス
›
記事
›
写真・画像
自動運転トラック認可へ新手法、T2とイミロンが数学的安全論証で協業 1枚目の写真・画像
プレミアム
ビジネス
2025年8月8日(金) 17時30分
《写真提供 T2》
自動運転車の安全性を形式手法と数学的証明によって厳密に立証
この記事へ戻る
1/1
自動運転、高度運転支援(ADAS)
トラック
有料会員記事
特集
自動運転、高度運転支援(ADAS)
自動運転トラック実装支援事業に採択、物流施設内で実証へ…ダイナミックマップや大和ハウス工業ら
2026年10月21日
国土交通省の令和8年度「自動運転トラック実装支援事業」に、大…
モメンタが自動運転AIの進化戦略を解説、データ駆動からフィジカルAIへ…EdgeTech+ 2026 予定
2026年10月20日
ティアフォーとミュンヘン工科大学、自動運転用オープンソースソフト「Autoware」基盤の研究拠点を設立
2026年10月20日
トラック
三菱ふそう『スーパーグレート』2293台にリコール…ハザードランプ誤点灯
2026年10月22日
三菱ふそうトラック・バスは10月8日、大型トラクタ『スーパーグ…
自動運転トラック実装支援事業に採択、物流施設内で実証へ…ダイナミックマップや大和ハウス工業ら
2026年10月21日
いすゞ藤沢工場、大型車生産累計100万台を達成…約22年間で
2026年10月20日
有料会員記事
パナソニック ホールディングス・人事情報 2026年10月1日付
2026年10月23日
パナソニック ホールディングス株式会社(本社:大阪府門真市、…
【全文PDFプレカン】NVIDIA、自動運転基盤に欧州4ブランド…GTCベルリン2026
2026年10月22日
ホンダが小幅安…米系大手証券が目標株価引き上げも悪地合いに勝てず
2026年10月22日