TY - RPRT TI - Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination AU - Takamasa Okudono AU - Masaki Waga AU - Taro Sekiyama AU - Ichiro Hasuo PY - 2024 UR - https://arxiv.org/abs/2407.09775 ID - 2407.09775 ER -