Kyoto University · Graduate School of Informatics · 助教

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

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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 の動的安全機構

• Official profile