ホーム
カーニュース
ニューモデル
試乗記
道路交通/社会
鉄道
船舶
航空
宇宙
モーターサイクル
ニュース
ニューモデル
試乗記
カーライフ
カスタマイズ
カーグッズ
カーオーディオ
モータースポーツ/エンタメ
リペア・
メンテナンス
EV特集
ロボット
AI
ビジネス
プレミアム
業界動向
テクノロジー
キーパーソンインタビュー
セミナー
見逃し配信
レポート
リスキリング
講座
ビジネス
会員について
ホーム
›
プレミアム
›
ビジネス
›
記事
›
写真・画像
自動運転トラック認可へ新手法、T2とイミロンが数学的安全論証で協業 1枚目の写真・画像
プレミアム
ビジネス
2025年8月8日(金) 17時30分
《写真提供 T2》
自動運転車の安全性を形式手法と数学的証明によって厳密に立証
この記事へ戻る
1/1
自動運転、高度運転支援(ADAS)
トラック
有料会員記事
特集
自動運転、高度運転支援(ADAS)
NTT東日本・NTTモビリティ、自動運転を社会実装へ…東京武蔵野市と連携協定
2026年6月18日
東京都武蔵野市、NTT東日本東京武蔵野支店、NTTモビリティの3者…
自動運転の普及時期は後ろ倒し、開発・検証コストの増加などが要因…マッキンゼーが分析
2026年6月18日
日本の自動車メーカー2社、Seeing Machinesのドライバー・乗員監視システム採用へ…2028年生産開始予定
2026年6月18日
トラック
新ブランド「ダイムラートラック・ディフェンス」立ち上げ、防衛事業を世界展開へ
2026年6月18日
ダイムラートラックは、防衛事業をグローバルに統合した新ブラ…
ZFのトラック向け運転支援システム「OnGuardMAX」、ETMアワード安全部門で1位を獲得
2026年6月18日
三菱ふそう『eキャンター』、改良新型を発売…国内EV小型トラック初のクレーン架装対応シャシ設定
2026年6月18日
有料会員記事
トヨタテクニカルディベロップメント、「プラチナくるみんプラス」取得…仕事と子育ての両立支援に評価
2026年6月18日
トヨタテクニカルディベロップメント(TTDC)は6月18日、厚生労…
BMWグループとMistral AI、クラッシュシミュレーションに産業データ活用
2026年6月18日
WECARS、指定工場の承認を2店舗で取得…札幌清田店と名取店
2026年6月18日