Forschungstreffen 23463
Coalgebra Meets Automata Learning
( 15. Nov – 17. Nov, 2023 )
(zum Vergrößern in der Bildmitte klicken)
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/23463
Organisatoren
- Bart Jacobs (Radboud University Nijmegen, NL)
- Stefan Milius (Universität Erlangen-Nürnberg, DE)
- Thorsten Wißmann (Universität Erlangen-Nürnberg, DE)
Kontakt
- Heike Clemens (für administrative Fragen)
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
