Learning Automata with Applications in Verification
Journée thématique
Persyval-Lab
Martin Leucker
Mercredi 09 juillet 2014
Réalisation technique : Djamel Hadji | Tous droits réservés
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.
L'UMS MI2S a fermé le 31 décembre 2016,
les vidéos hébergées sur son site le sont maintenant sur le site de GRICAD.
Conformément à la loi informatique et libertés du 6 janvier 1978 modifiée,
vous pouvez exercer vos droits de rétraction ou de modification relatifs
aux autorisations validées par MI2S auprès de
l'UMS GRICAD.