Mr. Masaki Waga has been awarded Oded Maler Award for the best paper at FORMATS 2019 – the 17th International Conference on Formal Modeling and Analysis of Timed Systems – for the following contribution of his.
Waga M. (2019) Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. In: André É., Stoelinga M. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2019. Lecture Notes in Computer Science, vol 11750. Springer, Cham. [Springer | arxiv]
Mr. Masaki Waga is a PhD student at SOKENDAI/NII, a JSPS Research Fellow (DC), and a research assistant at ERATO MMSD (Group 3).