Nous vous souhaitons une excellente nouvelle année et une très bonne rentrée :)
Martin Leucker / Persyval-Lab
In this lecture, we give an overview of techniques for learning automata. Starting with Biermann’s and Angluin’s algorithms, we describe some of the extensions suitable for specialized or richer classes of automata and discuss implementational issues. Furthermore, we survey their recent application to verification problems.
Mots clés : persyval-lab
Informations
- Gricad Vidéos
- 1 janvier 2021 00:00
- Conférences
- Français
Les commentaires ont été désactivés pour cette vidéo.
