三菱電機は、数値データの予測などに広く用いられる決定木アンサンブルモデルに対して効率的に網羅検証を行う新たなアルゴリズムと、これを用いた対話的な検証ツールによる「AIの動作を短時間で漏れなく検証する技術」を開発した。これによりAI開発者は網羅検証のサイクルを高速で循環でき、AIが期待に反する動作（誤動作）を行うリスクを低減しAIの信頼性を高めることができる。
三菱電機は、数値データの予測などに広く用いられる決定木アンサンブルモデルに対して効率的に網羅検証を行う新たなアルゴリズムと、これを用いた対話的な検証ツールによる「AIの動作を短時間で漏れなく検証する技術」を開発した。これによりAI開発者は網羅検証のサイクルを高速で循環でき、AIが期待に反する動作（誤動作）を行うリスクを低減しAIの信頼性を高めることができる。
