Paper accepted at SETTA'25

We are delighted that our paper about efficient decomposition identification of deterministic finite automata from examples has been accepted at SETTA’25.