山形頼之

国立研究開発法人 産業技術総合研究所 主任研究員

所属: 情報技術研究部門 ソフトウエアアナリティクス研究グループ

研究テーマ: ソフトウェアの検証ほか

English »

最新投稿

制御系の検証を強化学習を用いて行う

この投稿ではFalsification of Cyber-Physical Systems Using Deep Reinforcement Learning(arXiv版)という私が共著した論文を紹介します。今年のFM(形式検証の国際会議)で発表されたショートペーパーで、内容は、制御系の検証(必要な性質を満たしているか確かめること)を強化学習を使って行うというものです。

第1回AI4SEセミナー

12月14日18時から国立情報学研究所で第1回AI4SEセミナーが開かれます。このセミナーはAIのソフトウェアエンジニアリングへの応用を議論するセミナーです。今回は第1回ということで

Curriculum vitae

Curriculum Vitaeを公開しました。