Sciweavers

FMCO
2006
Springer
107views Formal Methods» more  FMCO 2006»
14 years 2 months ago
Learning Meets Verification
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...
Martin Leucker