This week's seminar is:
Clemens Kupke, University of Strathclyde
Title: Learning weighted automata
Title: Learning weighted automata
Thursday, 23rd of April, 11:00 GMT.
Abstract:In this talk I am going to discuss active learning algorithms for weighted automata. I will first recall Angluin’s seminal L* algorithm for learning deterministic finite automata. After that I will introduce a variant of the L* algorithm for weighted automata over semirings. Our main result is that this algorithm works when applied to weighted automata over a principal ideal domain. In addition, I will discuss an instructive example that shows that the algorithm is not guaranteed to terminate over arbitrary semirings. Joint work with Gerco van Heerdt, Jurriaan Rot and Alexandra Silva.
Generally, all AISEC seminars are open for all interested colleagues, see http://laiv.uk/laiv-
There is a mailing list to join, if you wish to get seminar reminders and updates.