Licence Creative Commons Learning Automata with Applications in Verification

9 juillet 2014
01:22:10
Nombre de vues 3
Nombre d’ajouts dans une liste de lecture 0
Nombre de favoris 0

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

  • Ajouté par : Gricad Vidéos
  • Mis à jour le : 1 janvier 2021 00:00
  • Chaîne :
  • Type : Conférences
  • Langue principale : Français
Les commentaires ont été désactivés pour cette vidéo.