2 citations · 2 across the 7 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.FL2024
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…
cs.PL2024★ 2 cited
Abstracting Effect Systems for Algebraic Effect Handlers
Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi
Many effect systems for algebraic effect handlers are designed to guarantee that all invoked effects are handled adequately. However, respective researchers have developed their ow…