ホーム
カーニュース
ニューモデル
試乗記
道路交通/社会
鉄道
船舶
航空
宇宙
モーターサイクル
ニュース
ニューモデル
試乗記
カーライフ
カスタマイズ
カーグッズ
カーオーディオ
モータースポーツ/エンタメ
リペア・
メンテナンス
EV特集
ロボット
AI
ビジネス
プレミアム
業界動向
テクノロジー
キーパーソンインタビュー
セミナー
見逃し配信
レポート
リスキリング
講座
ビジネス
会員について
ホーム
›
プレミアム
›
ビジネス
›
記事
›
写真・画像
自動運転トラック認可へ新手法、T2とイミロンが数学的安全論証で協業 1枚目の写真・画像
プレミアム
ビジネス
2025年8月8日(金) 17時30分
《写真提供 T2》
自動運転車の安全性を形式手法と数学的証明によって厳密に立証
この記事へ戻る
1/1
自動運転、高度運転支援(ADAS)
トラック
有料会員記事
特集
自動運転、高度運転支援(ADAS)
BMWグループ、ボッシュの道路危険警告サービス採用…クラウドベースの逆走警告機能も
2026年5月12日
ボッシュは、クラウドベースの道路危険警告サービスがBMWグルー…
よこすかYYのりものフェスタ2026、艦艇公開や自動運転バス展示も…5月30・31日開催
2026年5月11日
テスラ『モデルY』、新ADAS評価テストに合格した最初の車種に…米NHTSA
2026年5月11日
トラック
北米EVトラックの顧客向け、「ワンストップ」サポート開始へ…ワークホースがインチャージエナジーと提携
2026年5月11日
北米の商用EVメーカーのワークホース・グループは、商用フリー…
米トヨタ、水素燃料電池トラックを2027年初頭に商用物流に導入へ…ACTエキスポで新戦略を発表
2026年5月11日
日本製鉄、アルミホイール「タフブライト」など3製品を展示へ…ジャパントラックショー2026
2026年5月8日
有料会員記事
医薬品流通のアルフレッサ、災害時の医薬品供給モデル提案へ…スマートシティ推進EXPO 2026
2026年5月12日
医薬品の流通を担う社会インフラ企業のアルフレッサは、5月13日…
出光興産、MIT発スタートアップATOM-Xに出資…常温・常圧でe-メタノール製造技術を実用化へ
2026年5月12日
MaaSサービス「mixway」シリーズ、「駅すぱあと」のヴァル研究所が出展へ…自治体DX展2026
2026年5月12日