Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination

Takamasa Okudono, Masaki Waga, Taro Sekiyama +1

Active learning of finite automata has been vigorously pursued for the purposes of analysis and explanation of black-box systems. In this paper, we study an L*-style learning algor…