Waga Masaki 和賀正樹

… Alternative Names

和賀正樹ワガマサキ

Less

Researcher Number	00899007
Other IDs	https://orcid.org/0000-0001-9360-7490
Affiliation (Current)	2024: 京都大学, 情報学研究科, 助教
Affiliation (based on the past Project Information) *help	2022: 京都大学, 情報学研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related
Keywords	Principal Investigator 量的検証 / オートマトン理論 / 軽量形式手法 / 物理情報システム / 秘匿モニタリング / 準同型暗号 / ブラックボックス検査 / 確率的モデル検査 / 能動的MDP学習

Research Projects
(1 results)
Research Products
(1 results)

オートマトン的技法を用いた、物理情報システムのための軽量形式検証の量的発展Principal Investigator
- Principal Investigator
  
  和賀正樹
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyoto University

All Journal Article

[Journal Article] Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption2022
- Author(s)
  Banno Ryotaro、Matsuoka Kotaro、Matsumoto Naoki、Bian Song、Waga Masaki、Suenaga Kohei
- Journal Title
  
  34th International Conference on Computer-Aided Verification
  
  Volume: 13371 Pages: 447-468
- DOI
  10.1007/978-3-031-13185-1_22
- ISBN
  9783031131844, 9783031131851
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K17873, KAKENHI-PROJECT-19H04084