3 citations · 7 across the 5 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.FL2020
Learning automata and transducers: a categorical approach
Thomas Colcombet, Daniela Petrişan, Riccardo Stabile
In this paper, we present a categorical approach to learning automata over words, in the sense of the -algorithm of Angluin. This yields a new generic -like algorithm whi…
cs.LO2020★ 3 cited
Combining Weak Distributive Laws: Application to Up-To Techniques
Alexandre Goy, Daniela Petrisan
The coalgebraic modelling of alternating automata and of probabilistic automata has long been obstructed by the absence of distributive laws of the powerset monad over itself, resp…