57 citations · 208 across the 27 of their papers we have counts for
3 papers · 1 filter
Learning Weighted Automata over Principal Ideal Domains
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot +1
In this paper, we study active learning algorithms for weighted automata over a semiring. We show that a variant of Angluin's seminal \LStar\ algorithm works when the semiring is a…
Completeness for Game Logic
Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke +2
Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynamic logic (PDL) for reasoning about outcomes that players can force in determined 2-…
Coalgebra Learning via Duality
Simone Barlocco, Clemens Kupke, Jurriaan Rot
Automata learning is a popular technique for inferring minimal automata through membership and equivalence queries. In this paper, we generalise learning to the theory of coalgebra…