和賀正樹Masaki Waga

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

留学神社

基础信息

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

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

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

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,

下一步

个性化匹配理由、联系角度与收藏保存需要登录后使用。