News

Award

A paper by Masaki Waga (SOKENDAI, Hasuo Lab) was awarded as Oded Maler Award for the best paper at FORMATS 2019

Award

Oded Maler Award for the best paper at FORMATS 2019

Title

Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata

Author

Masaki Waga (SOKENDAI, Hasuo Lab)

Date

August 28, 2019.

Conference

17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2019)

Links
3867

SPECIAL