Skip to ContentSkip to Navigation
OnderzoekBernoulli InstituteCalendarColloquia - Computer Science

Colloquium Computer Science - Dr. J.C. Rot

When:We 20-03-2019 16:00 - 17:00
Where:5161.0267 Bernoulliborg

Coalgebra Learning via Duality

Automata learning is a popular technique for inferring minimal
automata through membership and equivalence queries. We generalise
learning from automata to a large class of state-based systems, using
the theory of coalgebras. The approach relies on the use of logical
formulas as tests, based on a dual adjunction between states and
logical theories. This allows us to learn, e.g., labelled transition

Joint work with Clemens Kupke and Simone Barlocco.

Colloquium coordinators are Prof.dr. D. Karastoyanova (e-mail: and Prof.dr. M. Biehl (e-mail: