activity
20242026
most citedAbstracting Effect Systems for Algebraic Effect Handlers

2 citations · 2 across the 7 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 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…