Test, verify and repair deep learning-based applications システム情報科学府 情報理工学専攻 研究内容は、以下の3つの研究項目に分けられる。 [テスト】DRLモデルの異常な挙動をステートフルかつ定量的に解析して見つけ出す。 [検証】DRLモデルがどの程度、要求・仕様を満たしているかを定量的に確認する手順を提案する。 [修復】テストと定量化された検証に基づき、DRLモデルの性能を向上させるための普遍的なフレームワークを構築する。
