| 体系的番号 |
JPMJFR242M |
研究代表者 |
川本 裕輔 産業技術総合研究所, 情報・人間工学領域, 研究グループ長
|
|---|
| 研究期間 (年度) |
2025 – 2032 (予定)
|
| 概要 | システムが期待どおりに動作するかどうかを数理的に厳密に検証する手法として形式検証手法が研究されており、様々なシステムの検証に利用されてきました。本研究では、機械学習利用システムのリスク対応を実施できているかを数理的に厳密に確認するための形式検証手法を確立します。特に、機械学習利用システムのリスク対応の不備を自動検証する技術を構築・ツール化し、機械学習に基づく製品やサービスの品質向上を目指します。
|
|---|
| 研究領域 | 後藤パネル |
|---|
