研究プロジェクト
機械学習システムのリスク分析のための形式検証技術

システムが期待どおりに動作するかどうかを数理的に厳密に検証する手法として形式検証手法が研究されており、様々なシステムの検証に利用されてきた。本研究では、機械学習利用システムのリスク対応を実施できているかを数理的に厳密に確認するための形式検証手法の確立を目指す。