Ｔ２が実証を進める自動運転トラック

自動運転の安全性を論理的に証明－。商用車の自動運転技術を開発するＴ２（熊部雅友ＣＥＯ、東京都千代田区）は、テクノロジースタートアップのイミロン（足立正和代表取締役、東京都千代田区）と、「レベル４」（特定条件下での完全自動運転）に向けた形式的安全論証の共同検証プロジェクトを始めたと発表した。「形式手法」と呼ばれる手法や数学的証明により、自動運転車の…