Masaki Waga
Has grant
助教 / Assistant Professor
JapanResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Masaki Waga is an Assistant Professor at Kyoto University in Japan. His research interests encompass efficient black-box checking, specification-guided abstraction, and probabilistic methods in system monitoring. He has contributed significantly to the fields of model-bounded monitoring of hybrid systems and parametric timed pattern matching. His recent publications reflect a strong focus on advancements in formal verification and automated learning techniques.
Recent Grants
Grant: Close
オートマトン的技法を用いた、物理情報システムのための軽量形式検証の量的発展
Open Date: 2023-04-01
Close Date: 2025-03-01
Grant: Close
物理情報システムに対する軽量検証の、オートマトン的技法を用いた実用的発展
Open Date: 2018-04-01
Close Date: 2021-03-01
Articles (5)
Year:
2025
Year:
2024
Year:
2023
Year:
2023
Year:
2022
Collaborators (2)
Étienne André
Professor
Université Sorbonne Paris Nord Institut Galilée
Kohei Suenaga
Kyoto University
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.