Research Meeting 23463
Coalgebra Meets Automata Learning
( Nov 15 – Nov 17, 2023 )
(Click in the middle of the image to enlarge)
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/23463
Organizers
- Bart Jacobs (Radboud University Nijmegen, NL)
- Stefan Milius (Universität Erlangen-Nürnberg, DE)
- Thorsten Wißmann (Universität Erlangen-Nürnberg, DE)
Contact
- Heike Clemens (for administrative matters)
We aim at combining automata learning with the generic framework of coalgebra. In recent years, automata learning was shown to be a useful tool in the verification of software components and in the discovery of implementation mistakes in black-box systems. This inspired many generalized learning algorithms in the categorical language of universal coalgebra, making it possible to apply the methods to other system types (e.g. nominal automata). The meeting serves as a platform for exchanging and combining the most recent research results of the two fields.
Creative Commons BY 4.0
Thorsten Wißmann
