和賀正樹 Waga Masaki

研究者番号	00899007
その他のID	https://orcid.org/0000-0001-9360-7490
所属 (現在)	2024年度: 京都大学, 情報学研究科, 助教
所属 (過去の研究課題情報に基づく) *注記	2022年度: 京都大学, 情報学研究科, 助教
審査区分/研究分野	研究代表者小区分60050:ソフトウェア関連
キーワード	研究代表者量的検証 / オートマトン理論 / 軽量形式手法 / 物理情報システム / 秘匿モニタリング / 準同型暗号 / ブラックボックス検査 / 確率的モデル検査 / 能動的MDP学習

研究課題
(1件)
研究成果
(1件)

オートマトン的技法を用いた、物理情報システムのための軽量形式検証の量的発展研究代表者
- 研究代表者
  
  和賀正樹
- 研究期間 (年度)
  2022 – 2024
- 研究種目
  
  若手研究
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  京都大学

すべて雑誌論文

[雑誌論文] Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption2022
- 著者名/発表者名
  Banno Ryotaro、Matsuoka Kotaro、Matsumoto Naoki、Bian Song、Waga Masaki、Suenaga Kohei
- 雑誌名
  
  34th International Conference on Computer-Aided Verification
  
  巻: 13371 ページ: 447-468
- DOI
  10.1007/978-3-031-13185-1_22
- ISBN
  9783031131844, 9783031131851
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22K17873, KAKENHI-PROJECT-19H04084