京都大学 · 情報学研究科 · 助教

研究キーワードオートマトン学習・ブラックボックス検査・モデル検査・実行時モニタリング・形式手法・時間オートマトン

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Data for "Exemplifying parametric timed specifications over signals with bounded behavior".2022 · 2022年01月
• Data for "Exemplifying parametric timed specifications over signals with bounded behavior".2022 · 2022年03月
• 完全準同型暗号を用いた秘匿 LTL オンラインモニタリング2021 · コンピュータセキュリティシンポジウム 2021 (CSS 2021),
• Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.2020 · The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020,

• 品質保証と説明の両立による信頼できる AI の構築技術
• オートマトン的技法を用いた、物理情報システムのための軽量形式検証の量的発展
• 高信頼AIのための実行時検証の発展～離散から連続へ
• 近似的数理モデルによる CPS の動的安全機構

• 公式プロフィール