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

Title:
Coalgebra Learning via Duality

Abstract:
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
systems.

Joint work with Clemens Kupke and Simone Barlocco.


Colloquium coordinators are Prof.dr. D. Karastoyanova (e-mail: d.karastoyanova@rug.nl) and Prof.dr. M. Biehl (e-mail: M.Biehl@rug.nl)